mirror of
https://github.com/git/git
synced 2024-08-24 02:11:08 +00:00
remote-hg: don't push fake 'master' bookmark
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>
This commit is contained in:
parent
06f4213355
commit
9ed920a680
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue