push origin --delete <branchName>
git push origin --tags
merge -s recursive -Xtheirs upstream/master
reset --soft HEAD^
git rebase --ignore-date
git add --all <path>
reset a branch to its origin
git reset --hard origin/mybranch
delete remote tag
git push --delete origin tagname