diff options
| -rwxr-xr-x | utils/hooks/pre-push | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/utils/hooks/pre-push b/utils/hooks/pre-push new file mode 100755 index 00000000..099441b8 --- /dev/null +++ b/utils/hooks/pre-push @@ -0,0 +1,43 @@ +#!/bin/sh + +# A hook script to prevent pushing unsuitable commits to the master branch. +# Unsuitable commits are commits that contain a local changelog below a '---' +# line. The criteria may get extended later. +# +# Information about the commits which are being pushed is supplied as lines to +# the standard input in the form: +# +# <local ref> <local sha1> <remote ref> <remote sha1> + +z40=0000000000000000000000000000000000000000 + +while read -r local_ref local_sha remote_ref remote_sha +do + if [ "$remote_ref" != refs/heads/master ] + then + continue + fi + + # The remote master branch should never get deleted by this push, so we + # can assume that local_sha is not 0's. We may however be creating the + # remote branch, when pushing to a new empty repository for instance. + if [ "$remote_sha" = $z40 ] + then + # New branch, examine all commits + range="$local_sha" + else + # Update to existing branch, examine new commits + range="$remote_sha..$local_sha" + fi + + # Find invalid commits. + commit=$(git rev-list -n 1 --grep '^---' "$range") + if [ -n "$commit" ] + then + echo >&2 "Found local changelog in $local_ref, not pushing" + echo >&2 "Check commit $commit" + exit 1 + fi +done + +exit 0 |