Github pull requests

I codified the discussion we had earlier and documented it for future reference.

It would nice to add an example to the "Accepting and Merging a Pull Request" section from the review perspective, also using this pull request as the example.