Nigel Metheringham <nigel@???> (Do 07 Apr 2016 14:38:58 CEST): > Github won't let you push --force unless you unprotect the branch first...
>
> OK, both repos have the right version now, and the sync process between
> them is working again. It could have been much worse - if there had
> been a subsequent series of changes pushed to different sides it would
> have been fun to sort out.
Definitivly. But I think, even a normal bare Git repo won't let you push,
even with force, if there are other changes.
