Posted over 8 years ago. Visible to the public.

Delete remote git tags

Actually you should never do that!

But just in case the following commands will work it out.

% git tag -d TAGNAME % git push origin :refs/tags/TAGNAME

Owner of this card:

Last edit:
almost 6 years ago
by jan0sch
Posted by jan0sch to jan0sch's deck
This website uses short-lived cookies to improve usability.
Accept or learn more