Allow users to merge Pull Requests on GitHub