Re: extra head

[Jordi Gutiérrez Hermoso]

On 17 August 2013 16:19, Daniel J Sebald <address@hidden> wrote:
> I see the @ bookmark is not positioned at the tip; it's down at Ben's push
> from 26 hours ago.

Someone, I can't tell who, neglected to advance the @ bookmark. This
typically happens because they have not done "hg update @" to activate
it.

I have now advanced the @ bookmark again. It's not a big problem if
it's not advanced, and it should be advanced automatically for
everyone as long as they've already done "hg update @" or as long as
they're using hg 2.4 or higher and are working on a new clone.

- Jordi G. H.