[sysadmin-bin] GitLab does not support + on repo names either!

[Andrea Veri <averi src gnome org>]

commit 88a90283ddb015ae24a530494e9e1d652fbb323b
Author: Andrea Veri <averi redhat com>
Date:   Tue May 29 22:31:44 2018 +0200

    GitLab does not support + on repo names either!

 git/post-receive-mirror-github | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/git/post-receive-mirror-github b/git/post-receive-mirror-github
index 2aee7ec..0f59970 100755
--- a/git/post-receive-mirror-github
+++ b/git/post-receive-mirror-github
@@ -41,8 +41,7 @@ import tempfile
 import json
 
 ORGANIZATION="GNOME"
-name_maps = {"gtk+":       "gtk",
-             "libxml++":   "libxmlmm"}
+name_maps = {}
 
 class GitHub:
     def __init__ (self):