A little help for merging pull requests

While you’re waiting for the long anticipated MergeButton™, I wanted to take a moment to highlight a few bits of documentation we have for pull requests. If you have any…