From 7deecd309c3aa7c6e06f47dbbe23503d31513f31 Mon Sep 17 00:00:00 2001 From: Felipe Contreras Date: Fri, 24 May 2013 21:29:38 -0500 Subject: [PATCH] remote-hg: update bookmarks when using a remote Signed-off-by: Felipe Contreras Signed-off-by: Junio C Hamano --- git-remote-hg | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/git-remote-hg b/git-remote-hg index 7c859b8..76438a6 100755 --- a/git-remote-hg +++ b/git-remote-hg @@ -356,6 +356,21 @@ def fixup_user(user): return '%s <%s>' % (name, mail) +def updatebookmarks(repo, peer): + remotemarks = peer.listkeys('bookmarks') + localmarks = repo._bookmarks + + if not remotemarks: + return + + for k, v in remotemarks.iteritems(): + localmarks[k] = hgbin(v) + + if hasattr(localmarks, 'write'): + localmarks.write() + else: + bookmarks.write(repo) + def get_repo(url, alias): global dirname, peer @@ -394,6 +409,8 @@ def get_repo(url, alias): die('Repository error') repo.pull(peer, heads=None, force=True) + updatebookmarks(repo, peer) + return repo def rev_to_mark(rev):