On Wed, Mar 20, 2024 at 2:51 PM Sanchit Jindal <sanchit1053@xxxxxxxxx> wrote: > I am having some trouble with the institutes firewall and `git > send-email` due to which I am not able to send a patch email, I have > created a PR on gitgitgadget, can I please be allowed to submit it, Done. Note that GitGitGadget identified a problem with your GitHub configuration which you'll need to correct, after which you can "/submit" the PR again.
