Notes on merging pull requests

Add some documentation on merging pull requests