[sysadmin-bin] Not making any use of gitlabrepo anymore

[Andrea Veri <averi src gnome org>]

commit d6b60e7654e073dde0579400517fe709b1e3f29f
Author: Andrea Veri <averi redhat com>
Date:   Tue May 29 21:32:12 2018 +0200

    Not making any use of gitlabrepo anymore

 git/gnome-pre-receive | 4 ----
 1 file changed, 4 deletions(-)
---
diff --git a/git/gnome-pre-receive b/git/gnome-pre-receive
index a92648a..b4294b5 100755
--- a/git/gnome-pre-receive
+++ b/git/gnome-pre-receive
@@ -31,10 +31,6 @@ if [ $(hostname) == 'gitlab.gnome.org' ]; then
     if [ "$?" -eq 1 ]; then
       git config hooks.mailinglist commits-list gnome org
     fi
-    git config gnome.gitlabrepo 1>/dev/null
-    if [ "$?" -eq 1 ]; then
-      git config gnome.gitlabrepo true
-    fi
   fi
 elif [ $(hostname) == 'git.gnome.org' ]; then
     cat <<EOF 1>&2