Magit: Merging Pull Requests