Include .git suffix in gitweb list as well
authorMagnus Hagander <magnus@hagander.net>
Thu, 26 Mar 2009 15:16:11 +0000 (16:16 +0100)
committerMagnus Hagander <magnus@hagander.net>
Thu, 26 Mar 2009 15:16:11 +0000 (16:16 +0100)
gitdump.py

index ff8ff9e70508ba9418aa2fea6bb56fd9584a1101..1af12cf4465617100c218f69436f8f8f2767e6f4 100644 (file)
@@ -86,7 +86,7 @@ FROM repositories AS r WHERE approved ORDER BY name""")
 
                        # Check for publishing options here
                        if web:
-                               f.write("%s %s\n" % (urllib.quote_plus(name), urllib.quote_plus(owner)))
+                               f.write("%s.git %s\n" % (urllib.quote_plus(name), urllib.quote_plus(owner)))
                                df = open("%s/repos/%s.git/description" % (self.conf.get("paths", "githome"), name), "w")
                                df.write(description)
                                df.close()