>> 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. >No doubt, we _must_ still accept contributions by `git format-patch` from >those who prefer it.
I would say that the project will choke anyway unless more than half of regular contributors will have commit access. Given the previous experience. _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
