Git Useful Commands
Remove last commit
git reset --hard HEAD~1
Remove last commit but keep files
git reset --soft HEAD~1
Delete a local branch
git branch --delete <branch>
git branch -d <branch> # Short version
git branch -D <branch> # Force delete un-merged branch
Delete a remote
