Misc git tips

Want to see if your branch is on the remote server? Want to see what branches are? Run
git branch -av

Not seeing your branch on the remote server, run
git push origin BRANCH_NAME

Added a file to .gitignore but you already checked it in? Run
git rm --cached FILENAME

Changing your origin server? Run
git remote remove origin