]> git.ipfire.org Git - thirdparty/git.git/commitdiff
remote-hg: don't push fake 'master' bookmark
authorFelipe Contreras <felipe.contreras@gmail.com>
Tue, 14 May 2013 04:36:30 +0000 (23:36 -0500)
committerJunio C Hamano <gitster@pobox.com>
Wed, 15 May 2013 19:40:59 +0000 (12:40 -0700)
We skip it locally, but not for the remote, so let's do so.

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/remote-helpers/git-remote-hg

index 53412dd91fa722cf812d4696f187feaefc08fc08..beb864b57e25a4297b7355d56c7c586e6f19d7be 100755 (executable)
@@ -873,7 +873,8 @@ def do_export(parser):
 
         if bmark == 'master' and 'master' not in parser.repo._bookmarks:
             # fake bookmark
-            pass
+            print "ok %s" % ref
+            continue
         elif bookmarks.pushbookmark(parser.repo, bmark, old, new):
             # updated locally
             pass