On Tue, Nov 22, 2022 at 1:04 PM Andreas Hasenack <andreas@xxxxxxxxxxxxx> wrote: > On Tue, Nov 22, 2022 at 2:57 PM Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote: > > 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/
