Pull request merging

Pull request merging#

Todo

Explain how decisions are made about whether a pull request are merged.