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
Jens Grassel Written by:

Solving problems and burning chrome for fun and profit.