Stefan Oltmann
01/10/2025, 10:08 AMgit tag | grep 23. | xargs -n 1 -I% git tag -d %
to delete old tags locally.
As GitHub does not allow login with username and password git tag | grep 23. | xargs -n 1 -I% git push origin :refs/tags/%
won't work.
I tried to push tags using IntelliJ, but that does not delete anything.
Any ideas?Frank Bouwens
01/10/2025, 10:13 AMFrank Bouwens
01/10/2025, 10:16 AMStefan Oltmann
01/10/2025, 10:18 AMFrank Bouwens
01/10/2025, 10:19 AMMario Niebes
01/10/2025, 10:19 AMMario Niebes
01/10/2025, 10:20 AMStefan Oltmann
01/10/2025, 10:23 AM