From c3474217e858078a4ac20dfdbbc0a34e171c3e04 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Mon, 17 Oct 2016 01:01:58 +0200
Subject: we don't use custom githooks anymore (but gitolite instead)

---
 githooks/update | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 githooks/update

(limited to 'githooks')

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
-- 
cgit v1.2.3