magithub icon indicating copy to clipboard operation
magithub copied to clipboard

Published 20 hours ago • verified publisher icon vermiculus

Merging PR on Github

Open se7entyse7en opened this issue 7 years ago • 2 comments

Hi! Is it possibile to actually merge a PR on github? Initially I thought that magithub-pull-request-merge merges the PR on github but it actually merges it locally. Is it even possibile?

se7entyse7en avatar Nov 14 '17 12:11 se7entyse7en

It's almost certainly possible as far as GitHub's API is concerned, but it's not implemented today in magithub.

vermiculus avatar Nov 14 '17 13:11 vermiculus

Looping back on this after having worked with the PR workflow quite a bit recently – why not merge locally and then push the base branch up to GitHub? That would accomplish the same thing (and you get all of magit's conflict-resolution stuff).

vermiculus avatar Jan 18 '18 04:01 vermiculus