Update workspace (works for github):
git fetch git merge origin/master
Tags:
git push --tags
Reset working copy:
git clean -fd git checkout .
