On Thu, Oct 17, 2019 at 10:16:22AM -0700, Christopher Collins wrote: > I couldn't think of a good general solution to this problem (if anyone > else can, please share!). Unless I'm missing something, I think I would > call this a git bug, so I am going to report it to the git maintainers > if it hasn't already been reported.
I reported the bug here: https://public-inbox.org/git/20191017230751.gc4...@pseudoephedrine.nightmare-heaven.no-ip.biz/T/#u Chris
