Problem Statement
Which pair correctly deletes a remote tag v1.0.0 from origin after deleting it locally?
Explanation
Local delete with `git tag -d`; remote delete with a push of an empty ref to the tag.
Practice Sets
This question appears in the following practice sets:
