You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12345678910111213141516 |
- #!/bin/bash
- if ! [[ "$2" =~ ^(git@)?(www.)?github.com(:|/)devrandom/gitian-builder(.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
|