Re: FETCH_HEAD files and mirrored repos

From: Konstantin Ryabitsev <konstantin@linuxfoundation.org>
Date: Jul 13, 2020, 20:34 UTC
Message-ID: <20200713203427.apajagayqx4gpadf@chatter.i7.local>
In-Reply-To: <20200713202211.GA2355588@coredump.intra.peff.net>

On Mon, Jul 13, 2020 at 04:22:11PM -0400, Jeff King wrote:

Show 19 quoted lines

> I occasionally use FETCH_HEAD for such things. If we were to stop
> writing it automatically, I think the key thing to notice is whether the
> result was actually stored anywhere else. Or more accurately, whether
> the user asked for any refspecs on the command line (since we'd still
> update tracking refs in some cases).
> 
> If I do:
> 
>   git fetch
> 
> or:
> 
>   git fetch origin refs/heads/foo:refs/heads/foo
> 
> then I probably don't care about FETCH_HEAD. But if I do:
> 
>   git fetch origin refs/heads/foo
> 
> then I'm probably interested in picking the result out of FETCH_HEAD.

I think adding all this logic is not worth the effort. For vast numbers of people who aren't running Android mirrors, FETCH_HEAD is only going to be a few KB in size, so they won't benefit from this change at all.

I'm happy with just an option that I have to enable to turn off writing FETCH_HEAD.

-K