On Wed, Jul 21, 2021 at 6:47 AM Felipe Contreras
<felipe.contreras@xxxxxxxxx> 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.
Linus
