From 21bf0cf43c909f24d6c3e7db5dd05a2a443bf367 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Mon, 2 May 2022 22:49:53 +0200 Subject: Fix issue in CI with Git 2.35 (#30436) --- .github/workflows/bootstrap.yml | 2 ++ 1 file changed, 2 insertions(+) (limited to '.github/workflows') diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml index cf7bcf4be1..816940136a 100644 --- 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 -- cgit v1.2.3-60-g2f50