The documentation links to Redirecting to Google Groups, which is dead. Is there an official way to submit patches which is not tied to GitHub specifically? Would it be acceptable to put a diff in an issue, for example? Or linking to a repository on another server?
Is there some particular reason you don’t want to submit a GitHub PR?
You’re not the first person to ask. I can’t recall exactly but I thought there was a sub forum or thread on discourse here to accept patches.
Just go ahead and post and someone here can create a PR on your behalf with your work.
Thanks for choosing to contribute to nixpkgs!
I’ll make a PR to change that ancient google groups link