>> Its meant for all those small changes which are no worth creating pull >> requests for, too. >> >I can't imagine a change not worth creating a pull request. Creating a pull >request is two clicks, accepting it is one click.
Not just two clicks, but pulling the trunk into your fork which is not done automatically, committing, pushing to your fork, and only then doing two clicks. It means switching between comfy console and web interface. Sending patch to mailing list can be done with a single pipeline command in shell... So yes, for simple fixes pull request is more effort than contributing the fix would save. _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
