diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2013-05-14 04:36:31 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-05-15 19:41:13 (GMT) |
| commit | 24317ef32ac3111ed00792f9b2921dc19dd28fe2 (patch) | |
| tree | 73f93b00810c59d58a44ec0a9191406bd0e13731 /contrib | |
| parent | 9ed920a680ca1999714f287672a31fa862f95e3f (diff) | |
| download | git-24317ef32ac3111ed00792f9b2921dc19dd28fe2.zip git-24317ef32ac3111ed00792f9b2921dc19dd28fe2.tar.gz git-24317ef32ac3111ed00792f9b2921dc19dd28fe2.tar.bz2 | |
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>
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/remote-helpers/git-remote-hg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/contrib/remote-helpers/git-remote-hg b/contrib/remote-helpers/git-remote-hg index beb864b..dc276af 100755 --- a/contrib/remote-helpers/git-remote-hg +++ b/contrib/remote-helpers/git-remote-hg @@ -363,6 +363,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): |