So here's the situation.
I created a local branch. Then I pushed that local branch to github. So github now has two branches.
Now I want to merge the two branches together both locally and on github.
This is probably a dumb question but somehow I'm not seeing it in the documentation.
So far my best guess is to merge locally, and then delete the remote branch from github?