Re: FETCH_HEAD files and mirrored repos
- From
Jeff King <peff@peff.net>
- Date
- Jul 13, 2020, 20:50 UTC
- 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:
Show 6 quoted lines
> 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