git branch -d branch_name
git remote prune origin
git pull origin branch_name
(dev) // Pull changes from dev
git checkout -b branchname
// Create a new branch and checkout
If you want to rename a branch while pointed to any branch, do:
git branch -m <oldname> <newname>
If you want to rename the current branch, you can do:
git branch -m <newname>
git push origin HEAD
https://stackoverflow.com/questions/1125968/how-do-i-force-git-pull-to-overwrite-local-files
git branch -a
git reset HEAD
(all changes)
git reset HEAD <file>
(single file changes)