Dealing with pull requests on GitHub