Re: [rules-dev] Github commit rights cleanup