Cannot delete tags

[IzzySoft]

• Gitea version (or commit ref): 1.12
• Git version: ?
• Operating system: Linux
• Database (use [x]):
  • PostgreSQL
  • MySQL
  • MSSQL
  • SQLite
• Can you reproduce the bug at https://try.gitea.io:
  • Yes (provide example URL)
  • No
  • Not relevant
• Log gist:

Description

Once a tag has been pushed, it cannot be removed anymore. Gitea doesn't offer that from the UI (or I didn't find where) – and deleting the tag locally plus using git push --tags doesn't remove it either.

Left some of the check-marks open as I'm not sure what Codeberg is running (@lunny probably knows, else @ashimokawa can tell if it's needed).

Screenshots

cannot screenshot what's not there (oops), sorry.

[a1012112796]

you can try git push origin --delete tag <tagname>

[IzzySoft]

Thanks, that worked! So this issue should rather be seen as asking for an improvement (adding the posibility to delete a tag via the WebUI, as e.g. Github and IIRC also GitLab have it). Certainly lowers the prio for me, thanks again!

[a1012112796]

@IzzySoft How about this solution? Thanks. #12096

[IzzySoft]

THAT I'd call a solution – and wow have you been fast with it, thanks a lot! You can set it to close this issue on merge 😃

[stale]

This issue has been automatically marked as stale because it has not had recent activity. I am here to help clear issues left open even if solved or waiting for more insight. This issue will be closed if no further activity occurs during the next 2 weeks. If the issue is still valid just add a comment to keep it alive. Thank you for your contributions.

[stale]

This issue has been automatically closed because of inactivity. You can re-open it if needed.