On Thu, Nov 15, 2012 at 1:01 PM, Luis Lavena <luislavena / gmail.com> wrote:
> AFAIK no direct commit to GitHub is allowed. pull requests needs to be
> applied to Subversion repository (as diff or patches).

Right, but if Mr. Lafortune wants to help maintain pull requests on
github, he needs a commit bit to be repo collab.