Johannes Schindelin [off-list ref] writes:
I feel a bit talked to my hand, as the only reply I was graced was a "I
think I already did". So this will be my last reply on this matter for a
while.
Ah, I meant this thing:
https://public-inbox.org/git/xmqqo9rrqp3l.fsf@gitster.mtv.corp.google.com
I got an impression that you didn't read it before you typed the
message I gave that response to.
There are a few more exchanged, including Michael's response to that
message on that thread.