Implement merging a pull request and checking if it has been merged.

GHC suggested the general type, so I added it and removed the commented code.