Nigel Metheringham <[email protected]> (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. -- Heiko
signature.asc
Description: Digital signature
-- ## List details at https://lists.exim.org/mailman/listinfo/exim-dev Exim details at http://www.exim.org/ ##
