diff options
| author |  Felipe Contreras <felipe.contreras@gmail.com> | 2013-04-22 16:55:10 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-04-22 15:25:53 -0700 |
| commit | e5ea5e7547fbb042b6d2ed04b73ff92d7543f672 (patch) | |
| tree | 6753de9602dff0876a1f1ec7eaa4ccecf700228c /mergetools | |
| parent | remote-helpers: avoid has_key (diff) | |
| download | tgif-e5ea5e7547fbb042b6d2ed04b73ff92d7543f672.tar.xz | |
remote-hg: safer bookmark pushing
It is possible that the remote has changed the bookmarks, so let's fetch
them before we make any assumptions, just the way mercurial does.
Probably doesn't make a difference, but better be safe than sorry.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'mergetools')
0 files changed, 0 insertions, 0 deletions