Valuable contributors aforemny AndersonTorres cstrahan edwtjo falsifian grwlf iyzsong jcumming MarcWeber MP2E vbgl
increase our GitHub open PR count from time to time but cannot reduce this same count for lack of commit rights! Their PRs have to be merged by current committers and merged do they get. I would frankly support blind-offering them commit rights together with our canned recommendation for being careful about mass-rebuilds. Maybe this my opinion is why I should never get the right to actually implement this. On the other hand, I would remind to the mentioned people that Rob Vermaas / ikwildrpepper / rob.vermaas does give commit rights to most people who have contributed and then ask for commit rights. _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
