Delete remote git tags
2013-03-05
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
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