Fix issue in CI with Git 2.35 (#30436)

2022-05-02 22:49:53 +02:00
parent e2c72e583f
commit 21bf0cf43c
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/bootstrap.yml
+++ b/.github/workflows/bootstrap.yml
@@ -138,6 +138,8 @@ jobs:
      - name: Setup repo and non-root user
        run: |
          git --version
+          # See http://changelogs.ubuntu.com/changelogs/pool/main/g/git/git_2.25.1-1ubuntu3.3/changelog
+          git config --global --add safe.directory /__w/spack/spack
          git fetch --unshallow
          . .github/workflows/setup_git.sh
      - name: Bootstrap clingo