git tag -d dev
git push origin :refs/tags/dev
git tag dev
git push origin dev