On Thu, Nov 21, 2024 at 03:11:46AM -0500, Jeff King wrote: > Looking back in the archive, though, I think "people" was Jonathan > Nieder and "push-back" is probably over-stating his position. This is > the closest thread I found: > > https://lore.kernel.org/git/20141209222337.GA16345@xxxxxxxxxx/ > > I dunno what any of that means for now, though. I am OK officially > declaring the "/**" thing something we we do not care about, if nobody > is using them. I've added Jonathan to the cc in case he has comments. Also, déjà vu: https://lore.kernel.org/git/20180927182528.GB2468@xxxxxxxxxxxxxxxxxxxxx/ That thread has more back-and-forth on the subject, but unless you have an abundance of spare time, I do not think it is worth reading in detail. -Peff