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