commit c3474217e858078a4ac20dfdbbc0a34e171c3e04 parent 3e2af789cec243805529f22229a09c1b1bb9cfa5 Author: Florian Dold <florian.dold@gmail.com> Date: Mon, 17 Oct 2016 01:01:58 +0200 we don't use custom githooks anymore (but gitolite instead) Diffstat:
| D | githooks/update | | | 32 | -------------------------------- |
1 file changed, 0 insertions(+), 32 deletions(-)
diff --git a/githooks/update b/githooks/update @@ -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