git archives

2018-06-11 14:42:52 +02:00
parent a75480724d
commit 91e703e7fb
14 changed files with 55 additions and 32 deletions
--- a/tools/maintenance.py
+++ b/tools/maintenance.py
@ -521,7 +521,7 @@ def git_repo(repo):
        if repo.startswith(service):
            return repo
    # generic (https://*.git)
-    if repo.startswith('https://') and repo.endswith('.git'):
+    if (repo.startswith('https://') or repo.startswith('http://')) and repo.endswith('.git'):
        return repo
    return None