#!/bin/sh # This is post-merge git hook script to check for changes in: # * git hook scripts # * helper scripts for using git efficiently. # If any changes are detected, a diff of them is printed. # # To install this script, copy it to .git/hooks/post-merge in local copy of # tor git repo and make sure it has permission to execute. git_toplevel=$(git rev-parse --show-toplevel) check_for_diffs() { installed="$git_toplevel/.git/hooks/$1" latest="$git_toplevel/scripts/maint/$1.git-hook" if [ -e "$installed" ] then if ! cmp "$installed" "$latest" >/dev/null 2>&1 then echo "ATTENTION: $1 hook has changed:" echo "===============================" diff "$installed" "$latest" fi fi } check_for_script_update() { fullpath="$git_toplevel/scripts/maint/$1" if ! git diff ORIG_HEAD HEAD --exit-code -- "$fullpath" >/dev/null then echo "ATTENTION: $1 has changed:" git diff ORIG_HEAD HEAD -- "$fullpath" fi } check_for_diffs "pre-push" check_for_diffs "pre-commit" check_for_diffs "post-merge" check_for_script_update "git-merge-forward.sh" check_for_script_update "git-pull-all.sh" check_for_script_update "git-push-all.sh"