Re: Proposalö git push -F

From: Junio C Hamano <gitster@pobox.com>
Date: Mar 3, 2021, 06:38 UTC
Message-ID: <xmqqim68lp20.fsf@gitster.c.googlers.com>
In-Reply-To: <CAJU-ojOhSpGraS=Cwy=kMNxNgN=T=o7Eq-BxcAfSLHMzmtAm9Q@mail.gmail.com>

XonqNopp <xonqnoppp@gmail.com> writes:

> I have discovered some months ago that it is more safe to force a push with
> git push --force-with-lease
>
> But since then I keep wondering: why is this not the default?

Because the form "--force-with-lease=<this-exact-commit>" is a strict improvement over "--force", but the lazy "guess where the other end should be" form, i.e. "--force-with-lease" alone, is worse than "--force" in that it gives users false sense of security without offering the safety the "lease" mechanism gives.