DEV Community


Discussion on: Merge GitHub Pull Requests without leaving command line

vbjay profile image
Jay Asbury

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

acro5piano profile image
Kay Gosho Author

Yeah... I forgot the feature! Haha

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

is enough! Thanks.