Share your git tricks here.
git push --delete <branch_name>
: Delete remote branch. see: http://stackoverflow.com/questions/2003505/delete-a-git-branch-both-locally-and-remotely- 'git remote set-url <remote_name> <remote_url>': Set new or rename existing remote repo. see: http://stackoverflow.com/questions/2432764/change-the-uri-url-for-a-remote-git-repository