Mirrors/dokku
1
0
Fork 0
mirror of https://github.com/dokku/dokku.git synced 2025-12-29 00:25:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #4436 from dokku/4434-fix-cd-issue

Browse Source 
Properly handle directory change when cleaning .git directory
This commit is contained in:
Jose Diaz-Gonzalez
2021-02-25 03:37:19 -05:00
committed by GitHub
parent 859ea13b0a 6b90dc70b1
commit 3c47971c61
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
plugins/git/internal-functions
View File

@@ -322,7 +322,9 @@ fn-git-setup-build-dir-submodules() {
suppress_output env -u GIT_QUARANTINE_PATH git -C "$GIT_WORKDIR" submodule update --init --recursive
if [[ "$DOKKU_KEEP_GIT_DIR" != "true" ]]; then
pushd "$GIT_WORKDIR" >/dev/null
find "$GIT_WORKDIR" -name .git -prune -exec rm -rf {} \; >/dev/null
popd >/dev/null 2>&1 || pushd "/tmp" >/dev/null
fi
}