Hi, On Tue, 2018-01-23 at 15:05 +0100, Stefan Egli wrote: > Sounds like a good idea to start with disallowing --force for now, > given > there is --force-with-lease for emergencies. The unfortunate bit is > perhaps that this opens up a way to modify history without noticing > (which > is what I've used it for too).
My impression is that --force-with-lease is entirely a client-side setting, which means that we can't protect against accidents by disabling it on GitHub, we can only document it as a convention. Robert
