Notes on Git

pushing a remote branch to github.com:

git remote -v

Try to verify that origin is set to the correct thing.

git push origin branch-name