echo '#!/bin/sh' > .git/hooks/pre-push echo 'git tag -d "v0.1"' >> .git/hooks/pre-push chmod a+x .git/hooks/pre-push This hook will remove tag v0.1 in local repository before push and this allows to ...