From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 13 Jul 2020 20:04:54 GMT
Subject: Re: FETCH_HEAD files and mirrored repos
Message-ID: <xmqqtuybmba1.fsf@gitster.c.googlers.com>
In-Reply-To: <20200713200049.6a22nek4xckwtpt6@chatter.i7.local>

Konstantin Ryabitsev <konstantin@linuxfoundation.org> writes:

> Does it make sense to add logic for whether this is done in a bare repo?  
> I can't imagine common cases where a FETCH_HEAD would be useful outside 
> of a checkout where a merge is likely to happen.

It is entirely valid to respond to a one-shot "My work is published
there; could you see if I am doing anything obviously wrong?" with

    git fetch git://k.org/somebody/linux.git check-me-please
    git log ..FETCH_HEAD
    git diff ...FETCH_HEAD

i.e. without touching any of our refs, and possibly in a bare
repository, no?