Git hacks

How to hard-reset working copy?

How to rename remote branch?

1. Checkout branch to rename

git branch -m old_branch new_branch
git push origin new_branch

1. Remove the old branch

git push origin :old_branch_name