diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2013-05-24 21:29:47 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-05-28 08:02:04 -0700 |
| commit | dfcef29f2f32046f3edbcaee47a03d94bc237eb8 (patch) | |
| tree | 5a72046098e68285cfa595147e5b676019483476 | |
| parent | aaadca28b6148c262385c258c761e166eff6fbeb (diff) | |
| download | git-dfcef29f2f32046f3edbcaee47a03d94bc237eb8.tar.gz git-dfcef29f2f32046f3edbcaee47a03d94bc237eb8.tar.xz | |
remote-hg: force remote bookmark push selectively
If we update the 'old' node, we might be updating the remote bookmark
even when our 'new' node is not related at all to what the remote has,
effectively forcing an update.
Let's do that only when forced push is configured.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -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 99de7c2ff..4d650b5f6 100755 --- a/contrib/remote-helpers/git-remote-hg +++ b/contrib/remote-helpers/git-remote-hg @@ -919,7 +919,8 @@ def do_export(parser): # update remote bookmarks remote_bmarks = peer.listkeys('bookmarks') for ref, bmark, old, new in p_bmarks: - old = remote_bmarks.get(bmark, '') + if force_push: + old = remote_bmarks.get(bmark, '') if not peer.pushkey('bookmarks', bmark, old, new): print "error %s" % ref else: |