From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 20 Sep 2018 14:38:27 GMT
Subject: Re: Work is not replayed on top while: git pull -v --rebase
Message-ID: <xmqq36u42pzw.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <6160201537441514@iva5-cb9df376e345.qloud-c.yandex.net>

KES <kes-kes@yandex.ru> writes:

> PS. for `git push --force` there is alternative: --force-with-lease
> Is there something similar to --force-with-lease but for `git pull -v --rebase`?

Curious.

For "push", you are competing with the other pushers who want to
update the repository over there, and there is need for the
force-with-lease=<it must be this verison> safety, but what is the
reason why you need to take a lease on your local side while doing
a "pull"?