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