[PATCH] push: do not require --force to push bookmarked head (issue2372)

[Matt Mackall]

On Thu, 2013-12-19 at 18:31 +0530, Prasoon Shukla wrote:
> # HG changeset patch
> # User Prasoon Shukla <prasoon92.iitr at gmail.com>
> # Date 1387389770 -19800
> #      Wed Dec 18 23:32:50 2013 +0530
> # Node ID 241543f591d7f40bb5777ce64174b420ae8e713a
> # Parent  5ff0fd02385082433221d0c78a99d310257d27b3
> push: do not require --force to push bookmarked head (issue2372)
> 
> When pushing, an error is raised if a new head is created at remote.
> This is to avoid ambiguity for developers pulling from the remote. But,
> if this head is bookmarked, then pushing shouldn't require --force.
> This patch implements this function.

You don't mention -B anywhere up here, so I wrote a rant about how this
was obviously wrong. Please write a more precise description.

-- 
Mathematics is the supreme nostalgia of our time.