[sysadmin-bin] Allow Infrastructure repositories to be mirrored over to GitHub as well

[Andrea Veri <averi src gnome org>]

commit e8a193042f40c361a1ecdad2b404497b8185a607
Author: Andrea Veri <av gnome org>
Date:   Tue Jun 18 13:25:03 2019 +0000

    Allow Infrastructure repositories to be mirrored over to GitHub as well

 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 b27ab46..f695a85 100755
--- a/git/post-receive-mirror-github
+++ b/git/post-receive-mirror-github
@@ -140,7 +140,7 @@ def get_repo_settings(repo_name):
     # Get the repo's mainline branch name
     branch_name = get_project_head_name()
 
-    doap_url = 'https://gitlab.gnome.org/GNOME/%s/raw/%s/%s.doap' % (repo_name, branch_name, repo_name)
+    doap_url = 'https://gitlab.gnome.org/%s/%s/raw/%s/%s.doap' % 
(os.path.dirname(os.getcwd()).split('/')[-1], repo_name, branch_name, repo_name)
 
     rq = requests.get(doap_url)
     if rq.status_code not in (200, 301, 302):