mirror of
https://github.com/git/git
synced 2024-10-28 19:25:47 +00:00
remote-hg: update bookmarks when pulling
Otherwise, the user would never ever see new bookmarks, only the ones that (s)he initially cloned. Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
parent
9ed920a680
commit
24317ef32a
1 changed files with 3 additions and 0 deletions
|
@ -363,6 +363,9 @@ def get_repo(url, alias):
|
||||||
die('Repository error')
|
die('Repository error')
|
||||||
repo.pull(peer, heads=None, force=True)
|
repo.pull(peer, heads=None, force=True)
|
||||||
|
|
||||||
|
rb = peer.listkeys('bookmarks')
|
||||||
|
bookmarks.updatefromremote(myui, repo, rb, url)
|
||||||
|
|
||||||
return repo
|
return repo
|
||||||
|
|
||||||
def rev_to_mark(rev):
|
def rev_to_mark(rev):
|
||||||
|
|
Loading…
Reference in a new issue