The empty source before the colon tells the remote to delete refs/tags/v1.0.0, removing the tag there but not locally. Use it to unpublish a wrong release tag. Delete the local tag afterwards with git tag -d.
Looking for more? Search all 7,657 commands — works offline, in English or Spanish, and fixes typos.