Re: Merge commit says refs/heads/<branchname> instead of <branchname>

From: Mateusz Loskot <mateusz@loskot.net>
Date: Nov 15, 2019, 21:54 UTC
Message-ID: <CABUeae9m+r-p-aaix_NFTFB1cAomFHgC8mckRHPiiRt1qRwv_w@mail.gmail.com>
In-Reply-To: <xmqq8sokb673.fsf@gitster-ct.c.googlers.com>

On Wed, 13 Nov 2019 at 08:12, Junio C Hamano <gitster@pobox.com> wrote:

Show 17 quoted lines

> Jeff King <peff@peff.net> writes:
>
> > If I do:
> >
> >   git reset --hard tip && git merge --no-edit refs/heads/side
> >   git log -1 --oneline
> >
> > then I get:
> >
> >   Merge branch 'refs/heads/side'
> >
> > And the behavior seems the same going back to older versions of Git. Are
> > you sure your workflow hasn't changed somehow?
> >
> > Can you show an example that triggers the behavior for you?
>
> Yes, I am curious, too.

Jeff, Junio,

Thank you very much for your responses and confirmations of expected behaviours.

I will try to confirm with my colleagues what's changed, what are actual commands and Git versions in use. I'll be back here if I discover anything suspicious.

Best regards,

-- 
Mateusz Loskot, http://mateusz.loskot.net