[sysadmin-bin] Disallow pushing branches named HEAD

[Andrea Veri <av src gnome org>]

commit 0216db9cab3b75fa9b24bddb14261bced6cc2c92
Author: Krzesimir Nowak <krzesimir kinvolk io>
Date:   Wed May 10 13:45:49 2017 +0200

    Disallow pushing branches named HEAD
    
    Signed-off-by: Andrea Veri <averi redhat com>

 git/pre-receive-check-policy |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/git/pre-receive-check-policy b/git/pre-receive-check-policy
index 6f7b7cf..f8ba33b 100755
--- a/git/pre-receive-check-policy
+++ b/git/pre-receive-check-policy
@@ -120,6 +120,14 @@ check_ref_update() {
            range=
            case $change_type in
                create)
+                   if [ "x$branchname" = xHEAD ] ; then
+                       cat <<- EOF >&2
+                               ---
+                               You are trying to push the branch 'HEAD'.
+                               ---
+                               EOF
+                       exit 1
+                   fi
                    range="$newrev"
                    ;;
                delete)