From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 21 Jul 2021 17:11:03 GMT
Subject: Re: [PATCH v2] pull: introduce --merge option
Message-ID: <xmqqeebregns.fsf@gitster.g>
In-Reply-To: <CAHk-=whf-9kNV3y5G-VVA2K5EZCnvv94paAEj6p=i2R4RM2emQ@mail.gmail.com>

Linus Torvalds <torvalds@linux-foundation.org> writes:

> On Wed, Jul 21, 2021 at 6:47 AM Felipe Contreras
> <felipe.contreras@gmail.com> wrote:
>>
>> Users need to specify if they want to either --merge or --rebase, but
>> unfortunately the former is missing.
>
> Ack. I think it's just historical, because long long ago it used to be
> that 'git pull' always merged unless told otherwise with --rebase.

The "--no-rebase" option, which is documented as a synonym for
"--rebase=false", has been there, but the implementation is buggy in
some corner cases, which has been worked on recently in a separate
thread.  I do not think it is too bad to add "--merge" as yet
another synonym for "--rebase=false".