| commit | dfcef29f2f32046f3edbcaee47a03d94bc237eb8 | |
| author | Felipe Contreras <felipe.contreras@gmail.com> | |
| Sat, 25 May 2013 02:29:47 +0000 (24 21:29 -0500) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Tue, 28 May 2013 15:02:04 +0000 (28 08:02 -0700) | ||
| tree | 5a72046098e68285cfa595147e5b676019483476 | treesnapshot (tar.gz zip) |
| parent | aaadca28b6148c262385c258c761e166eff6fbeb | commitdiff |
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>
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>
| contrib/remote-helpers/git-remote-hg | diffblobblamehistory |