push should not allow to push diverged bookmark

[Pierre-Yves David]

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