Re: Proposal: accept pull requests on GitHub