Magit: Merging Pull Requests

Notes