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.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.