From 191c0faeca8f5c48d42deb566970a69a13ea73dd Mon Sep 17 00:00:00 2001 From: eterek111 Date: Wed, 31 May 2023 12:31:16 -0600 Subject: [PATCH 1/4] builder images add safe dir --- build/clean_build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build/clean_build.sh b/build/clean_build.sh index 4e531a8dee..92db91f164 100755 --- a/build/clean_build.sh +++ b/build/clean_build.sh @@ -63,6 +63,7 @@ fi cd "$tc_dir" if [ -d "${tc_volume}/.git" ]; then # In case the mirrored repo already exists, remove gitignored files + git config --global --add safe.directory '*' git clean -fdX fi From 702eb14cc53857a593d8c602b72cd76dbaabf098 Mon Sep 17 00:00:00 2001 From: eterek111 Date: Wed, 31 May 2023 13:20:24 -0600 Subject: [PATCH 2/4] add safe dir --- build/clean_build.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build/clean_build.sh b/build/clean_build.sh index 92db91f164..bcfb2b8a6f 100755 --- a/build/clean_build.sh +++ b/build/clean_build.sh @@ -62,8 +62,9 @@ fi cd "$tc_dir" if [ -d "${tc_volume}/.git" ]; then + # Change the owner of the repository folder to the user which is running the git command. + git config --add safe.directory '*' # In case the mirrored repo already exists, remove gitignored files - git config --global --add safe.directory '*' git clean -fdX fi From 9e884a488753a48f62574ff2836391613d0cef2f Mon Sep 17 00:00:00 2001 From: eterek111 Date: Wed, 31 May 2023 13:34:08 -0600 Subject: [PATCH 3/4] add safe directory global --- build/clean_build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build/clean_build.sh b/build/clean_build.sh index bcfb2b8a6f..9c4977dccd 100755 --- a/build/clean_build.sh +++ b/build/clean_build.sh @@ -62,8 +62,8 @@ fi cd "$tc_dir" if [ -d "${tc_volume}/.git" ]; then - # Change the owner of the repository folder to the user which is running the git command. - git config --add safe.directory '*' + # Change the owner of the repository folder to the user which is running the git command. + git config --global --add safe.directory '*' # In case the mirrored repo already exists, remove gitignored files git clean -fdX fi From 9450c272fa538af4c78e507763077b3e4f275c96 Mon Sep 17 00:00:00 2001 From: eterek111 Date: Wed, 31 May 2023 13:50:19 -0600 Subject: [PATCH 4/4] add the directory in question --- build/clean_build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/clean_build.sh b/build/clean_build.sh index 9c4977dccd..ded9869a63 100755 --- a/build/clean_build.sh +++ b/build/clean_build.sh @@ -62,7 +62,7 @@ fi cd "$tc_dir" if [ -d "${tc_volume}/.git" ]; then - # Change the owner of the repository folder to the user which is running the git command. + # Add the directory in question to git's safe.directory list. git config --global --add safe.directory '*' # In case the mirrored repo already exists, remove gitignored files git clean -fdX