Merge pull request #4562 from ManaSugi/git-safe-repo

Set safe.directory against tests repository
This commit is contained in:
Archana Shinde 2022-06-30 16:13:15 -07:00 committed by GitHub
commit c29038a2e2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -18,6 +18,13 @@ clone_tests_repo()
{ {
if [ -d "$tests_repo_dir" ]; then if [ -d "$tests_repo_dir" ]; then
[ -n "${CI:-}" ] && return [ -n "${CI:-}" ] && return
# git config --global --add safe.directory will always append
# the target to .gitconfig without checking the existence of
# the target, so it's better to check it before adding the target repo.
local sd="$(git config --global --get safe.directory ${tests_repo_dir} || true)"
if [ -z "${sd}" ]; then
git config --global --add safe.directory ${tests_repo_dir}
fi
pushd "${tests_repo_dir}" pushd "${tests_repo_dir}"
git checkout "${branch}" git checkout "${branch}"
git pull git pull