chiark / gitweb /
Rejects bad import url for github
authorCiaran Gultnieks <ciaran@ciarang.com>
Tue, 18 Sep 2012 09:06:34 +0000 (10:06 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Tue, 18 Sep 2012 09:06:34 +0000 (10:06 +0100)
fdroidserver/import.py

index 947a6b209d6d38bb66afcff5f16e82991b9ab055..6ec8346007c544b64c6c475c35037d3caecab374 100644 (file)
@@ -126,6 +126,9 @@ def main():
     if url.startswith('https://github.com'):
         if url.endswith('/'):
             url = url[:-1]
+        if url.endswith('.git'):
+            print "A github URL should point to the project, not the git repo"
+            sys.exit(1)
         projecttype = 'github'
         repo = url + '.git'
         repotype = 'git'