[sysadmin-bin] Allow github mirrors from Infrastructure projects (all of them (but extensions-web as requested by m

[Andrea Veri <averi src gnome org>]

commit fb6ca8a29bc35d19e9b12bbd2288e9731944894d
Author: Andrea Veri <averi redhat com>
Date:   Wed Dec 19 12:14:12 2018 +0100

    Allow github mirrors from Infrastructure projects (all of them (but extensions-web as requested by 
maintainer) are disabled by default though via the infrastructure-repo file)

 git/post-receive-mirror-github | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/git/post-receive-mirror-github b/git/post-receive-mirror-github
index 067fd82..8c8d608 100755
--- a/git/post-receive-mirror-github
+++ b/git/post-receive-mirror-github
@@ -48,7 +48,7 @@ class GitHub:
     def __init__(self, organization):
         self.organization = organization
 
-        allowed_paths = ['/var/opt/gitlab/git-data/repositories/GNOME']
+        allowed_paths = ['/var/opt/gitlab/git-data/repositories/GNOME', 
'/var/opt/gitlab/git-data/repositories/Infrastructure']
         if os.path.dirname(os.getcwd()) not in allowed_paths:
             sys.exit(1)