On: How to do distributed locking (2016)

[eru]

Git push's `--force-with-lease` option does essentially this.

(Honestly, they should rename `--force-with-lease` to just `--force`, and rename the old `--force` behaviour to `--force-with-extreme-prejudice` or something like that. Basically make the new behaviour the default `--force` behaviour.)

[pyrolistical → eru]

`--force-unsafe`

[eru → pyrolistical]

That would be the saner name, yes.