Patch Check List

So, you want to merge a contribution- or you want to know in more detail what committers look for in your contribution? Here are tips, traps, etc. for dealing with PRs:

After the above steps are verified and completed, and the contribution is ready to merge, follow the steps in the “Merging a PR” section in: Handling Github PRs.