Hi Johannes
On 27/08/18 22:21, Johannes Schindelin wrote:
Hi,
On Sat, 25 Aug 2018, Constantin Weißer wrote:
I think there are two aspects to using "force with lease".
There is a third, very, very important aspect.
When you use --force-with-lease (and I, for one, do, all the time), keep
in
Ævar Arnfjörð Bjarmason writes:
> I.e. making plain --force-with-lease harder to use by hiding it behind a
> config option gives the user fewer options than with --force to recover.
I agree with that. But I would consider it a good thing, if done
properly (i.e. suggest --force-with-lease that
Hi,
On Sat, 25 Aug 2018, Constantin Weißer wrote:
> I think there are two aspects to using "force with lease".
There is a third, very, very important aspect.
When you use --force-with-lease (and I, for one, do, all the time), keep
in mind that it assumes that you are at least aware of the
On Mon, Aug 27 2018, Junio C Hamano wrote:
[Scott, I hope you're still with us despite your recent attempt to
unsubscribe from git@ :)]
> Ævar Arnfjörð Bjarmason writes:
>
>> This was after/during a long discussion starting with:
>>
Ævar Arnfjörð Bjarmason 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
On Mon, Aug 27 2018, Junio C Hamano wrote:
> Scott Johnson writes:
>
>> Hello Everyone:
>>
>> I'm considering writing a patch that adds a configuration variable
>> that will allow the user to default the command:
>>
>> git push --force
>>
>> to:
>>
>> git push --force-with-lease
>
> I actually
Scott Johnson writes:
> Hello Everyone:
>
> I'm considering writing a patch that adds a configuration variable
> that will allow the user to default the command:
>
> git push --force
>
> to:
>
> git push --force-with-lease
I actually consider "--force-with-lease" that does not say "this is
what
I think there are two aspects to using "force with lease".
Firstly, you, a person aware of the option, using it. In this case I
think an alias is very fitting, because you get quickly used to just
typing `git pf` or so. Plus, you don't have the disadvantage you
described: if you’re working on a
Hello Everyone:
I'm considering writing a patch that adds a configuration variable
that will allow the user to default the command:
git push --force
to:
git push --force-with-lease
As discussed here:
https://stackoverflow.com/questions/30542491/push-force-with-lease-by-default
Now, I
9 matches
Mail list logo