[sysadmin-bin] Apply David's patch on the Github's hook for checking the repository name directly through the get_r

[Andrea Veri <av src gnome org>]

commit 7e0dca2c3b25c24778380d26c85260d8fae446bc
Author: Andrea Veri <av gnome org>
Date:   Thu Aug 22 12:07:48 2013 +0200

    Apply David's patch on the Github's hook for checking the repository name directly through the 
get_repo_name's function.

 git/post-receive-mirror-github |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/git/post-receive-mirror-github b/git/post-receive-mirror-github
index 223349a..e5e6674 100755
--- a/git/post-receive-mirror-github
+++ b/git/post-receive-mirror-github
@@ -100,10 +100,10 @@ def get_repo_name ():
         repo_name = repo_name[0:-4]
     return repo_name
 
-def get_repo_settings (name):
+def get_repo_settings (repo_name):
     nss = {'doap': 'http://usefulinc.com/ns/doap#',
            'rdf':  'http://www.w3.org/1999/02/22-rdf-syntax-ns#'}
-    doap_url = "https://git.gnome.org/browse/%s/plain/%s.doap"; % (name, name)
+    doap_url = "https://git.gnome.org/browse/%s/plain/%s.doap"; % (repo_name, repo_name)
 
     rq = requests.get(doap_url)
     if rq.status_code != 200:
@@ -117,14 +117,14 @@ def get_repo_settings (name):
     desc = prj.find('{%s}shortdesc' % nss["doap"])
     homepage = prj.find('{%s}homepage' % nss["doap"])
 
-    name = name.text if name != None else repo.split('/')[-1]
+    name = name.text if name != None else repo_name
     desc = desc.text if desc != None else name
 
     homepage = homepage.get(resource) if homepage != None else 'http://www.gnome.org/'
     homepage = homepage if homepage != None else 'http://www.gnome.org/'
 
     return { "homepage":    homepage.encode('utf-8').decode('utf-8'),
-             "name":        name.encode('utf-8').decode('utf-8'),
+             "name":        repo_name.encode('utf-8').decode('utf-8'),
              "description": desc.encode('utf-8').decode('utf-8')}
 
 def main ():