Hi, On Tue, Nov 22, 2022 at 3:14 PM Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote: > > 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/ Ok, let's see how this goes. I opened a PR in https://github.com/git/git/pull/1385 and if someone could add the required /allow, I can take the next steps. Thanks!
