From: Jeff King <peff@peff.net>
Date: Mon, 13 Jul 2020 20:50:39 GMT
Subject: Re: FETCH_HEAD files and mirrored repos
Message-ID: <20200713205039.GA2356680@coredump.intra.peff.net>
In-Reply-To: <20200713203427.apajagayqx4gpadf@chatter.i7.local>

On Mon, Jul 13, 2020 at 04:34:27PM -0400, Konstantin Ryabitsev wrote:

> 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.

Yeah, I'm totally fine with that, too. And because it's an incremental
set of steps (add the option, then possibly flip the default), we can
easily stop at step 1 and see if anybody cares enough about step 2 to
continue.

-Peff