thank you for your email.
That awkward patch on the bug tracker was a try to see if that was
somehow possible and useful. Now I see that it wasn't a good idea, so
sorry for the chaos I created.
The problem is on my side as I haven't found an optimal way to
I use github pretty much only to contribute to nixpkgs and I am not good
at using it.
I used to contribute more and I'd like to contribute more again but with
less time available on my side I would also like to find a better way of
contributing, without having to go through web browser and clicking
around to submit PRs or create new issues.
I found a way to create issues with a simple script via github json API.
It is possible to reply to issues via email already so this is good.
(That's how I sent the patch to the bug tracker, for example.)
I haven't found any way to create PRs without a web-browser. I wonder,
if it is possible?
Thanks again for your time and sorry for inconvenience.