# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 1172513549 21600
# Node ID d5011e347476fb77ab4d7c31d21c239b4f83f879
# Parent  97251938485365716a52aebb013d271ba5f55e68# Parent  b53c6f7dbb1f49767217c0ddf1e838e6c651ceea
Merge with crew

diff --git a/contrib/convert-repo b/contrib/convert-repo
--- a/contrib/convert-repo
+++ b/contrib/convert-repo
@@ -293,7 +293,7 @@ class convert_git:
         if os.path.isdir(path + "/.git"):
             path += "/.git"
         self.path = path
-        if not os.path.exists(path + "/HEAD"):
+        if not os.path.exists(path + "/objects"):
             raise NoRepo("couldn't open GIT repo %s" % path)
 
     def getheads(self):