# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 1153778799 18000
# Node ID 2be3001847cb18a23c403439d9e7d0ace30804e9
# Parent  6024216754f4122ebca3b20ae2c09461c2b5faf4# Parent  e6a7a6a33a6226feac334354c63f05f3b288ae01
Merge with crew

diff -r 6024216754f4 -r 2be3001847cb contrib/convert-repo
--- a/contrib/convert-repo	Mon Jul 24 11:35:04 2006 -0500
+++ b/contrib/convert-repo	Mon Jul 24 17:06:39 2006 -0500
@@ -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()