Open Stack

On 2015-10-30 11:36:17 -0400 (-0400), Paul Belanger wrote:
> IIRC, we won't be able to delete the tag.
[...]

The crux of the problem is that tag deletions don't propagate
downstream, so anyone who has fetched tags or done a remote update
will have that mistaken tag forever unless they manually delete it
in their clone or re-clone the repository completely.
-- 
Jeremy Stanley