DEV Community

loading...

Discussion on: Merge GitHub Pull Requests without leaving command line

Collapse
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?

Collapse
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.