[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: '@' bookmark
|
From: |
Mike Miller |
|
Subject: |
Re: '@' bookmark |
|
Date: |
Tue, 20 Mar 2018 11:03:10 -0700 |
|
User-agent: |
Mutt/1.9.3 (2018-01-21) |
On Tue, Mar 20, 2018 at 08:41:56 -0700, Rik wrote:
> I updated the '@' bookmark to point to the tip on default. It does
> occasionally happen when merging in a lot of changes that the '@' bookmark
> gets confused.
To avoid that, I would recommend that all developers always push with
hg push -r @
and always check what they want to push with
hg out -r @
It should be immediately obvious if the local @ bookmark is or is not
updated correctly before the push.
It would be nice to have a server-side hook that could reject pushes
that do not advance the @ bookmark.
--
mike
signature.asc
Description: PGP signature