[sysadmin-bin] Disable pushes against projects that have migrated to Gitlab

[Andrea Veri <av src gnome org>]

commit 49730b31e177659a3adc5b57674f606a9f99359c
Author: Andrea Veri <averi redhat com>
Date:   Fri Dec 1 13:19:11 2017 +0100

    Disable pushes against projects that have migrated to Gitlab

 git/gnome-pre-receive |   15 +++++++++++++++
 1 files changed, 15 insertions(+), 0 deletions(-)
---
diff --git a/git/gnome-pre-receive b/git/gnome-pre-receive
index c9d3655..41a02df 100755
--- a/git/gnome-pre-receive
+++ b/git/gnome-pre-receive
@@ -92,6 +92,21 @@ elif [ $(hostname) == 'git.gnome.org' ]; then
     user=`id -u`
     find ./objects -uid $user -type d | xargs setfacl -d -m g:git:rwx
     find ./objects -uid $user | xargs setfacl -m g:git:rwx
+
+    if $user == 8033; then
+        :
+    else
+        cat <<EOF 1>&2
+---
+The ${projectshort} repository has moved to Gitlab. Please update
+your Git remote to:
+
+    git gitlab gnome org:GNOME/${projectshort}.git
+    
+---
+EOF
+        exit 1
+    fi
   fi
 fi