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
