On Thu, Nov 07, 2013 at 09:23:15PM +0000, Tommaso Cucinotta wrote: > Sure, feel free to commit them. Guess that in multi-user commit mode, > it's much better to NOT rewrite history, so we won't use push -f, right ? > (Vincent ?).
_Never_ push -f to any repo that *others* (or even you, in other workspaces) pull from. Nico --
