# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 1172077357 21600
# Node ID 06d65498f73bdf8dc09a50546e03675981efe1bc
# Parent  e2ed92f4c0f759fe2a2803853bfcb92f135d85c5
convert-repo: use .git/objects/ rather than .git/HEAD to detect git repos

diff -r e2ed92f4c0f7 -r 06d65498f73b contrib/convert-repo
--- a/contrib/convert-repo	Sat Feb 17 04:50:06 2007 -0200
+++ b/contrib/convert-repo	Wed Feb 21 11:02:37 2007 -0600
@@ -293,7 +293,7 @@
         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):