| 123456789101112131415161718192021222324252627282930313233343536373839404142434445 | 
							- #!/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/git/$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="$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"
 
- for file in "$git_toplevel"/scripts/git/* ; do
 
-         check_for_script_update "$file"
 
- done
 
 
  |