scripts/maint/post-merge.git-hook

   1 #!/bin/sh
   2
   3 # This is post-merge git hook script to check for changes in:
   4 # * git hook scripts
   5 # * helper scripts for using git efficiently.
   6 # If any changes are detected, a diff of them is printed.
   7 #
   8 # To install this script, copy it to .git/hooks/post-merge in local copy of
   9 # tor git repo and make sure it has permission to execute.
  10
  11 git_toplevel=$(git rev-parse --show-toplevel)
  12
  13 check_for_diffs() {
  14         installed="$git_toplevel/.git/hooks/$1"
  15         latest="$git_toplevel/scripts/maint/$1.git-hook"
  16
  17         if [ -e "$installed" ]
  18         then
  19                if ! cmp "$installed" "$latest" >/dev/null 2>&1
  20                then
  21                         echo "ATTENTION: $1 hook has changed:"
  22                         echo "==============================="
  23                         diff "$installed" "$latest"
  24                fi
  25         fi
  26 }
  27
  28 check_for_script_update() {
  29         fullpath="$git_toplevel/scripts/maint/$1"
  30
  31         if ! git diff ORIG_HEAD HEAD --exit-code -- "$fullpath" >/dev/null
  32         then
  33                 echo "ATTENTION: $1 has changed:"
  34                 git diff ORIG_HEAD HEAD -- "$fullpath"
  35         fi
  36 }
  37
  38 check_for_diffs "pre-push"
  39 check_for_diffs "pre-commit"
  40 check_for_diffs "post-merge"
  41
  42 check_for_script_update "git-merge-forward.sh"
  43 check_for_script_update "git-pull-all.sh"
  44 check_for_script_update "git-push-all.sh"