delete R3_26 tags from webtools repos, created accidentally and can't unpush
Summary
I was instructed to do the WTP 3.25 tagging according to https://wiki.eclipse.org/WTP_Release_Tasks#Project_Lead_Tasks
But I misread the instruction and instead tagged for 3.26.
Steps to reproduce
# get project
git clone ssh://[USER]@git.eclipse.org:29418/webtools/webtools.releng.aggregator.git
# update submodules
# see https://gist.github.com/nickboldt/4f5bf0ace88dcfd2b7f4779be23146f7
# to delete, if you can push a :tag to remove it (which I can't)
TAG=R3_26
for d in */; do echo $d; cd $d; git pull origin master; git tag ${TAG}; git push origin :${TAG}; cd ..; echo; done
What is the current bug behavior?
R3_26 tags exist, when in fact the latest tags should be R3_25.
What is the expected correct behavior?
R3_26 tags should be deleted -- we need them to be created in 3 months, but not today.
cc: @nitind