]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3473ecd) | patch
remote-hg: safer bookmark pushing
authorFelipe Contreras <felipe.contreras@gmail.com>
Mon, 22 Apr 2013 21:55:10 +0000 (16:55 -0500)
committerJunio C Hamano <gitster@pobox.com>
Mon, 22 Apr 2013 22:25:53 +0000 (15:25 -0700)
commite5ea5e7547fbb042b6d2ed04b73ff92d7543f672
tree6753de9602dff0876a1f1ec7eaa4ccecf700228ctree | snapshot
parent3473ecd7ffc97d45ebed7374e129da16eb4e1357commit | diff
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>
contrib/remote-helpers/git-remote-hg diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.