diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2013-05-14 06:36:30 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-05-15 21:40:59 +0200 |
| commit | 9ed920a680ca1999714f287672a31fa862f95e3f (patch) | |
| tree | cf3adcee07fcc281241ec5e79563a3b6b949d950 /contrib/remote-helpers/git-remote-hg | |
| parent | remote-hg: disable forced push by default (diff) | |
| download | git-9ed920a680ca1999714f287672a31fa862f95e3f.tar.xz git-9ed920a680ca1999714f287672a31fa862f95e3f.zip | |
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>
Diffstat (limited to '')
| -rwxr-xr-x | contrib/remote-helpers/git-remote-hg | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/remote-helpers/git-remote-hg b/contrib/remote-helpers/git-remote-hg index 53412dd91f..beb864b57e 100755 --- a/contrib/remote-helpers/git-remote-hg +++ b/contrib/remote-helpers/git-remote-hg @@ -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 |