[PATCH] push to diverged branch

[Matthieu Moy]

John Arbash Meinel <john at arbash-meinel.com> writes:

>> (BTW, is "push --overwrite" really useful?)
>
> As mentioned it used to be necessary. And at this point, it is still
> useful to overwrite diverged branches with an explicit *this is what I
> want*. Sort of a 'I know what I'm doing, let me do it' flag. While you
> may lose some revisions in a history, you won't lose any data from the
> repository, so it isn't really lossy (but not entirely lossless either).

For this kind of cases, I'd rather let the user log into the server
and delete his branch manually. I don't find it terribly useful, and
potentially dangerous, so ... But that's not a strong opinion.

-- 
Matthieu