push should not allow to push diverged bookmark
Pierre-Yves David
pierre-yves.david at ens-lyon.org
Thu Aug 6 17:24:24 CDT 2015
On 08/04/2015 05:26 AM, Marc Strapetz wrote:
> When having a bookmark for which there exists a new remote commit, it's
> still possible to push a diverged local commit without --force option. I
> think it's more reasonable to disallow such pushes, similar as when
> pushing a branch or a specific revision. The patch below should resolve
> the problem.
Can you give more details about the problematic cases ?
I'm not sure to know what case you are refering to (and we'll need to
build a test case to prevent a regression).
--
Pierre-Yves David
More information about the Mercurial-devel
mailing list