On Mon, Apr 24, 2017 at 11:22:42PM -0400, Jeff King wrote: > > > It also has a similarity to > > > https://public-inbox.org/git/[email protected]/ > > > regarding > > > how checkout operates. > > I didn't look too deeply into this one, but it really looks like > somebody caring too much about when git needs to write (and I'd suspect > it's impacted by the racy-git thing, too).
Oh, sorry, I got this confused with: https://public-inbox.org/git/CAM1zWBtfgHT=pT0pidQo1HD=dfrxlg3gnauvs0vzkvyfg1b...@mail.gmail.com/ which was mentioned earlier (and which I do think is just about timestamps). I don't think any of what I said is related to the doc update in https://public-inbox.org/git/[email protected]/ which seems reasonable to me. -Peff
