[rules-dev] Github commit rights cleanup

Hi guys, Stemming from the SVN era, a lot of community contributers still have full commit rights on the blessed repositories. Because GitHub offers the "pull request" paradigm, the lack of commit rights are far less intrusive than in SVN. Many community contributors seem to prefer contributing changes through pull request paradigm, as it forces a core developer to sign off on the changes. Having direct commit rights can even be counter-intuitive: for example, if you edit a file directly on github, it doesn't create a pull request, but applies the changes directly. Commits from contributors that come in via pull requests are still attributed to the original author and count towards the original author's stats, so there are no additional disadvantages. Following that logic, I propose to *remove the commit rights on blessed for these contributors* in 72 hours: Please note that we appreciate past and future commits. Please keep the contributions coming! :) bauna bbrodt dennyxu dgutierr diega jcoleman0redhat0com jrenaat jsvitak JuanmaGonzalez KurtStam laune lazarotti leogomes lucazamador michaelneale michiBK mswiderski nheron nickboldt nmirasch pefernan RickJWagner ryanzhang saifulomar tkobayas trefor wmedvede yurloc If you're on this list and want to keep your commits rights on blessed, just reply to this mail and I 'll take you off the list. No long argumentation needed :) *Keep commits rights on the blessed repositories* etirelli ge0ffrey jervisliu krisv manstis mariofusco mdproctor mrietveld porcelli pzapata Rikkola Salaboy sotty tsurdilo *Might keep commits right on the blessed repositories* I 'll ask these people what they prefer and do that. esteban-aliverti triceo zenix