Hi Peter, 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 contribute yet. 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. Tomas _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl https://mailman.science.uu.nl/mailman/listinfo/nix-dev
