Add docs on merging a pull request.
Add docs on merging a pull request.