Skip to content
This repository was archived by the owner on Nov 24, 2025. It is now read-only.

Looser repository ownership checks #7546

Merged
zrhoffman merged 4 commits into from
May 31, 2023
Merged

Looser repository ownership checks #7546

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
191c0fa
builder images add safe dir
May 31, 2023
702eb14
add safe dir
May 31, 2023
9e884a4
add safe directory global
May 31, 2023
9450c27
add the directory in question
May 31, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions build/clean_build.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,8 @@ fi

cd "$tc_dir"
if [ -d "${tc_volume}/.git" ]; then
# Add the directory in question to git's safe.directory list.
git config --global --add safe.directory '*'
Comment thread
zrhoffman marked this conversation as resolved.
Comment thread
zrhoffman marked this conversation as resolved.
Comment thread
zrhoffman marked this conversation as resolved.
# In case the mirrored repo already exists, remove gitignored files
git clean -fdX
fi
Expand Down