You tagged `v2.0.0` on the wrong commit and pushed. CI already kicked off a release build. You need to delete the tag — fast.
Delete locally with -d, delete remote with `push --delete`.
Easy · 2 steps · +350 XP
This scenario walks through 2 steps, in order:
Try the terminal first — you learn more by doing. When you want to check yourself, here is the command for each step.
git tag -d v2.0.0git push origin --delete v2.0.0git tag -d <tag>; git push origin --delete <tag>. Then retag correctly.