[Nix-dev] High-grossing contributors without commit rights

[Michael Raskin]

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.