diff --git a/contrib/convert-repo b/contrib/convert-repo index df5e58c84b010bcf83cb12ed106fae74d3b0da5b_Y29udHJpYi9jb252ZXJ0LXJlcG8=..e6a7a6a33a6226feac334354c63f05f3b288ae01_Y29udHJpYi9jb252ZXJ0LXJlcG8= 100755 --- a/contrib/convert-repo +++ b/contrib/convert-repo @@ -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()