diff options
author | teor <teor@torproject.org> | 2020-02-12 20:32:58 +1000 |
---|---|---|
committer | teor <teor@torproject.org> | 2020-02-12 20:37:21 +1000 |
commit | 99d957696b3274a334448f066ba418b51cc887ee (patch) | |
tree | 96c811df26b41d5b36d14797edfd22448eda6575 /scripts/git | |
parent | 41a9eddf2bf9c72aa1f67f2b90cb9794788380f4 (diff) | |
download | tor-99d957696b3274a334448f066ba418b51cc887ee.tar.gz tor-99d957696b3274a334448f066ba418b51cc887ee.zip |
scripts/git: Stop running the checked-out git scripts
Stop executing the checked-out pre-commit hook from the pre-push hook.
Instead, execute the copy in the user's git dir.
Fixes bug 33284; bugfix on 0.4.1.1-alpha.
Diffstat (limited to 'scripts/git')
-rwxr-xr-x | scripts/git/pre-push.git-hook | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/scripts/git/pre-push.git-hook b/scripts/git/pre-push.git-hook index 7b06f3734d..efa45b9860 100755 --- a/scripts/git/pre-push.git-hook +++ b/scripts/git/pre-push.git-hook @@ -26,7 +26,11 @@ z40=0000000000000000000000000000000000000000 upstream_name=${TOR_UPSTREAM_REMOTE_NAME:-"upstream"} +# The working directory workdir=$(git rev-parse --show-toplevel) +# The .git directory +# If $workdir is a worktree, then $gitdir is not $workdir/.git +gitdir=$(git rev-parse --git-dir) cd "$workdir" || exit 1 @@ -58,7 +62,8 @@ do fi # Call the pre-commit hook for the common checks, if it is executable - if [ -x scripts/git/pre-commit.git-hook ]; then + pre_commit=${gitdir}/hooks/pre-commit + if [ -x "$pre_commit" ]; then # Only check the files newly modified in this branch CHECK_FILTER="git diff --name-only --diff-filter=ACMR $range" # Use the appropriate owned tor source list to filter the changed @@ -81,7 +86,7 @@ do # We want word splitting here, because file names are space # separated # shellcheck disable=SC2086 - if ! scripts/git/pre-commit.git-hook $CHECK_FILES ; then + if ! "$pre_commit" $CHECK_FILES ; then exit 1 fi fi |