From: Felipe Contreras Date: Fri, 10 May 2013 10:17:01 GMT Subject: [PATCH 2/4] remote-hg: update bookmarks when pulling Message-ID: <1368181023-10402-3-git-send-email-felipe.contreras@gmail.com> In-Reply-To: <1368181023-10402-1-git-send-email-felipe.contreras@gmail.com> Signed-off-by: Felipe Contreras --- contrib/remote-helpers/git-remote-hg | 3 +++ 1 file changed, 3 insertions(+) diff --git a/contrib/remote-helpers/git-remote-hg b/contrib/remote-helpers/git-remote-hg index 5647ed5..85b9319 100755 --- a/contrib/remote-helpers/git-remote-hg +++ b/contrib/remote-helpers/git-remote-hg @@ -357,6 +357,9 @@ def get_repo(url, alias): die('Repository error') repo.pull(peer, heads=None, force=True) + rb = peer.listkeys('bookmarks') + bookmarks.updatefromremote(myui, repo, rb, url) + return repo def rev_to_mark(rev): -- 1.8.3.rc1.555.gd13b5a0