On Tue, Nov 22, 2022 at 1:04 PM Andreas Hasenack [off-list ref] wrote:
On Tue, Nov 22, 2022 at 2:57 PM Eric Sunshine [off-list ref] wrote:
quoted
We would be happy to take a patch if you're interested in submitting
one. Otherwise, I can submit a patch to fix this case. Let me know
your preference.
Can that be a simple PR in https://github.com/git/git/pulls?
The project doesn't take pull requests directly, but GitGitGadget[1]
will convert a pull request into a mailing list patch. It looks like
https://github.com/git/git/ is one of the repositories with which
GitGitGadget works, so presumably it should work. You could probably
come up with a well-written commit message by paraphrasing your bug
report.
[1]: https://gitgitgadget.github.io/