Magit plugin for dealing with GitHub pull requests