Merge with crew
authorMatt Mackall <mpm@selenic.com>
Fri, 23 Feb 2007 14:16:50 -0600
changeset 4113 972519384853
parent 4112 c097b6f4f082 (diff)
parent 4108 20af6a2f0b0e (current diff)
child 4114 d5011e347476
Merge with crew
--- a/contrib/convert-repo
+++ b/contrib/convert-repo
@@ -293,7 +293,7 @@ class convert_git:
         if os.path.isdir(path + "/.git"):
             path += "/.git"
         self.path = path
-        if not os.path.exists(path + "/HEAD"):
+        if not os.path.exists(path + "/objects"):
             raise NoRepo("couldn't open GIT repo %s" % path)
 
     def getheads(self):