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()