remote-hg: force remote push
commitb0c3db860cac2215f07deeb9e91cbd2597fe41d0
authorFelipe Contreras <felipe.contreras@gmail.com>
Thu, 11 Apr 2013 12:23:09 +0000 (11 07:23 -0500)
committerJunio C Hamano <gitster@pobox.com>
Thu, 11 Apr 2013 17:46:47 +0000 (11 10:46 -0700)
tree1945776e05092575de6e36ab9333e9d8451c3c6e
parent11dc88f49c1dc177132fb724d46c80ae8e6a2e99
remote-hg: force remote push

Ideally we shouldn't do this, as it's not recommended in mercurial
documentation, but there's no other way to push multiple bookmarks (on
the same branch), which would be the behavior most similar to git.

At the same time, add a configuration option for the people that don't
want to risk creating new remote heads.

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/remote-helpers/git-remote-hg