range-diff/format-patch: handle commit ranges other than A..B
[alt-git.git] / templates / hooks--pre-push.sample
blob4ce688d32b7532862767345f2b991ae856f7d4a8
1 #!/bin/sh
3 # An example hook script to verify what is about to be pushed. Called by "git
4 # push" after it has checked the remote status, but before anything has been
5 # pushed. If this script exits with a non-zero status nothing will be pushed.
7 # This hook is called with the following parameters:
9 # $1 -- Name of the remote to which the push is being done
10 # $2 -- URL to which the push is being done
12 # If pushing without using a named remote those arguments will be equal.
14 # Information about the commits which are being pushed is supplied as lines to
15 # the standard input in the form:
17 # <local ref> <local oid> <remote ref> <remote oid>
19 # This sample shows how to prevent push of commits where the log message starts
20 # with "WIP" (work in progress).
22 remote="$1"
23 url="$2"
25 zero=$(git hash-object --stdin </dev/null | tr '[0-9a-f]' '0')
27 while read local_ref local_oid remote_ref remote_oid
29 if test "$local_oid" = "$zero"
30 then
31 # Handle delete
33 else
34 if test "$remote_oid" = "$zero"
35 then
36 # New branch, examine all commits
37 range="$local_oid"
38 else
39 # Update to existing branch, examine new commits
40 range="$remote_oid..$local_oid"
43 # Check for WIP commit
44 commit=$(git rev-list -n 1 --grep '^WIP' "$range")
45 if test -n "$commit"
46 then
47 echo >&2 "Found WIP commit in $local_ref, not pushing"
48 exit 1
51 done
53 exit 0