Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
remote-hg: don't push fake 'master' bookmark
author
Felipe Contreras
<felipe.contreras@gmail.com>
Tue, 14 May 2013 04:36:30 +0000
(23:36 -0500)
committer
Junio 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
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
06f4213
)
diff --git
a/contrib/remote-helpers/git-remote-hg
b/contrib/remote-helpers/git-remote-hg
index 53412dd91fa722cf812d4696f187feaefc08fc08..beb864b57e25a4297b7355d56c7c586e6f19d7be 100755
(executable)
--- 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