contrib/convert-repo
changeset 2657 e6a7a6a33a62
parent 2093 5cc414722587
child 3821 158fce02dc40
--- a/contrib/convert-repo	Mon Jul 24 09:22:47 2006 -0700
+++ b/contrib/convert-repo	Mon Jul 24 13:47:29 2006 -0700
@@ -28,7 +28,8 @@
         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()