diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-10-17 01:01:58 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-10-17 01:01:58 +0200 |
| commit | c3474217e858078a4ac20dfdbbc0a34e171c3e04 (patch) | |
| tree | 0d1ca5a0412eee147cff49080d6c182d4d4d1e72 /githooks | |
| parent | 3e2af789cec243805529f22229a09c1b1bb9cfa5 (diff) | |
| download | deployment-c3474217e858078a4ac20dfdbbc0a34e171c3e04.tar.gz deployment-c3474217e858078a4ac20dfdbbc0a34e171c3e04.tar.bz2 deployment-c3474217e858078a4ac20dfdbbc0a34e171c3e04.zip | |
we don't use custom githooks anymore (but gitolite instead)
Diffstat (limited to 'githooks')
| -rw-r--r-- | githooks/update | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/githooks/update b/githooks/update deleted file mode 100644 index 47934c7..0000000 --- a/githooks/update +++ /dev/null @@ -1,32 +0,0 @@ -#!/bin/bash - -set -ue - -refname="$1" -oldrev="$2" -newrev="$3" - -if [ -z "${1+x}" ] || [ -z "${2+x}" ] || [ -z "${3+x}" ]; then - echo "Usage: $0 REFNAME OLDREV NEWREF" - exit 1 -fi - - -[[ -z "$(git rev-list --max-count 1 "$oldrev".."$newrev" || echo "fail")" ]] -is_ff=$? - -if $is_ff; then - # always allow fast forwards - exit 0 -fi - -if [[ "$refname" != refs/heads/master ]]; then - # allow force-pushing if it's not master - exit 0 -fi - -case $USER in -*) - exit 1 - ;; -esac |