re: Merge GitHub Pull Requests without leaving command line VIEW POST

FULL DISCUSSION
 

You do realize that if you do the merge locally and push the commits to the GitHub remote, the pull request will say merged?

 

Yeah... I forgot the feature! Haha

git checkout master
git merge awesome-feature
git push origin master

is enough! Thanks.

code of conduct - report abuse