Tags of releases are not case sensitive while git tags are

[daviian]

• Gitea version (or commit ref): 93f8157
• Git version: 2.7.4
• Operating system: Windows
• Database (use [x]):
  • PostgreSQL
  • MySQL
  • MSSQL
  • SQLite
• Can you reproduce the bug at https://try.gitea.io:
  • Yes (provide example URL)
  • No, as PR Sync releases table with tags on push and for mirrors #2459 has not yet been merged
  • Not relevant
• Log gist:

Description

Releases are tied to lowercase tag names therefore odds are that git tags are dropped when syncing a mirror or adding a new git tag.

Release attribute LowerTagName should be removed and respecting functionality should use TagName instead.

Issue showed up while testing #2459.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs during the next 2 weeks. Thank you for your contributions.