Merge with crew 0.9.1
authorMatt Mackall <mpm@selenic.com>
Mon, 24 Jul 2006 17:06:39 -0500
changeset 2658 2be3001847cb
parent 2657 6024216754f4 (current diff)
parent 2649 e6a7a6a33a62 (diff)
child 2659 93b765f30c07
child 2689 489c3bacce96
Merge with crew
--- a/contrib/convert-repo
+++ b/contrib/convert-repo
@@ -28,7 +28,8 @@ class convert_git:
         self.path = path
 
     def getheads(self):
-        return [file(self.path + "/HEAD").read()[:-1]]
+        fh = os.popen("GIT_DIR=%s git-rev-parse --verify HEAD" % self.path)
+        return [fh.read()[:-1]]
 
     def catfile(self, rev, type):
         if rev == "0" * 40: raise IOError()