Ævar Arnfjörð Bjarmason <ava...@gmail.com> writes: > This was after/during a long discussion starting with: > https://public-inbox.org/git/cacbzzx7mex-6rhgh2fa9+yl03mjxs8xmye86hnvxbxjmyiz...@mail.gmail.com/ > > It appears the only patch that got in from that discussion was my > f17d642d3b ("push: document & test --force-with-lease with multiple > remotes", 2017-04-19) (https://github.com/git/git/commit/f17d642d3b)
Thanks for pointing at the old thread. As far as our documentation is concerned, the invitation to improve the situation, offered in "git push --help", is still valid: Note that all forms other than `--force-with-lease=<refname>:<expect>` that specifies the expected current value of the ref explicitly are still experimental and their semantics may change as we gain experience with this feature. But I do not think (and I did not think back then) there is a magic bullet to make the lazy force-with-lease automatically safe for everybody, so it may be time to declare that the lazy force-with-lease was a failed experiment and move on, with a patch like the one suggested last year in the message: https://public-inbox.org/git/xmqq37a9fl8a.fsf...@gitster.mtv.corp.google.com/