[sysadmin-bin] s/GNOMEInfrastructure/Infrastructure

[Andrea Veri <averi src gnome org>]

commit dd4064fcce4223e6291639e619a869780523decb
Author: Andrea Veri <averi redhat com>
Date:   Mon Jan 22 14:56:47 2018 +0100

    s/GNOMEInfrastructure/Infrastructure

 git/post-receive-notify-kgb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/git/post-receive-notify-kgb b/git/post-receive-notify-kgb
index 38b8ac1..160b01c 100755
--- a/git/post-receive-notify-kgb
+++ b/git/post-receive-notify-kgb
@@ -8,6 +8,6 @@ BASEDIR=$(dirname $ABSDIR)
 REPOSITORY_ID=$(basename "$PWD")
 REPOSITORY_ID=${REPOSITORY_ID%.git}
 
-if [[ $BASEDIR = '/var/opt/gitlab/git-data/repositories/GNOME' || $BASEDIR = 
'/var/opt/gitlab/git-data/repositories/GNOMEInfrastructure' || $BASEDIR = '/git' ]]; then
+if [[ $BASEDIR = '/var/opt/gitlab/git-data/repositories/GNOME' || $BASEDIR = 
'/var/opt/gitlab/git-data/repositories/Infrastructure' || $BASEDIR = '/git' ]]; then
       egrep 'refs/heads/(master|gtk\-|glib\-|gnome\-)' | kgb-client --conf 
/home/admin/KGB/kgb-client-$REPOSITORY_ID.conf --repository git --git-reflog - > /dev/null 2>&1
 fi