diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-03-20 12:04:23 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-03-20 12:05:05 +0100 |
commit | c7abfa595dda5b74b0386532dc6a685ab1c7f009 (patch) | |
tree | f5cc097784cc4b011a67844bfaf2817791a57006 /contrib/verify-commits/pre-push-hook.sh | |
parent | 29fef0b9039be4a9595d4ecc44bc77a06321fc10 (diff) | |
parent | adaa568722e59cde510c5fe1997c49cbb9d7db12 (diff) | |
download | bitcoin-c7abfa595dda5b74b0386532dc6a685ab1c7f009.tar.xz |
Merge pull request #5149
adaa568 Add script to verify all merge commits are signed (Matt Corallo)
Diffstat (limited to 'contrib/verify-commits/pre-push-hook.sh')
-rwxr-xr-x | contrib/verify-commits/pre-push-hook.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/contrib/verify-commits/pre-push-hook.sh b/contrib/verify-commits/pre-push-hook.sh new file mode 100755 index 0000000000..607c0cac45 --- /dev/null +++ b/contrib/verify-commits/pre-push-hook.sh @@ -0,0 +1,16 @@ +#!/bin/bash +if ! [[ "$2" =~ [git@]?[www.]?github.com[:|/]bitcoin/bitcoin[.git]? ]]; then + exit 0 +fi + +while read LINE; do + set -- A $LINE + if [ "$4" != "refs/heads/master" ]; then + continue + fi + if ! ./contrib/verify-commits/verify-commits.sh $3 > /dev/null 2>&1; then + echo "ERROR: A commit is not signed, can't push" + ./contrib/verify-commits/verify-commits.sh + exit 1 + fi +done < /dev/stdin |