RE: [PATCH v3 08/10] remote-hg: update bookmarks when pulling
- From
Felipe Contreras <felipe.contreras@gmail.com>
- Date
- May 14, 2013, 20:26 UTC
- Message-ID
- <51929dfa8122e_13a8f89e182115@nysa.mail>
- In-Reply-To
- <1368486720-2716-9-git-send-email-felipe.contreras@gmail.com>
Without this fix, the user would never ever see new bookmarks, only the ones that (s)he initially cloned.
Felipe Contreras wrote:
Show 21 quoted lines
> Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
> ---
> 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 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):
> --
> 1.8.3.rc1.579.g184e698-- Felipe Contreras