[sysadmin-bin] Differentiate between the GNOME and the Infrastructure group

[Andrea Veri <averi src gnome org>]

commit b111d90a74bf9f6da5b32b5af55771911de43e86
Author: Andrea Veri <averi redhat com>
Date:   Wed May 30 12:50:03 2018 +0200

    Differentiate between the GNOME and the Infrastructure group

 git/gnome-pre-receive | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)
---
diff --git a/git/gnome-pre-receive b/git/gnome-pre-receive
index 7380987..cd95555 100755
--- a/git/gnome-pre-receive
+++ b/git/gnome-pre-receive
@@ -33,12 +33,18 @@ if [ $(hostname) == 'gitlab.gnome.org' ]; then
     fi
   fi
 elif [ $(hostname) == 'git.gnome.org' ]; then
+  if [ $basedir = "${GITLABDIR}/GNOME" ]; then
+    gitlabgroup='GNOME'
+  elif [ $basedir = "${GITLABDIR}/Infrastructure" ]; then
+    gitlabgroup='Infrastructure'
+  fi
+
     cat <<EOF 1>&2
 ---
 The ${projectshort} repository has moved to Gitlab. Please update
 your Git remote to:
 
-    git gitlab gnome org:GNOME/${projectshort}.git
+    git gitlab gnome org:${gitlabgroup}/${projectshort}.git
 
 ---
 EOF