diff options
| author | Zettat123 <zettat123@gmail.com> | 2023-04-04 05:08:29 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-03 17:08:29 -0400 |
| commit | cb6ed84c4be5256badf5e99537ca304e2884a26e (patch) | |
| tree | cb7abdd3da2282a00fb6734ec524ec70362c698d /modules/util | |
| parent | 5ab1c7acecef981ab9f6ac43b245761efb0e8dbe (diff) | |
| download | gitea-cb6ed84c4be5256badf5e99537ca304e2884a26e.tar.gz gitea-cb6ed84c4be5256badf5e99537ca304e2884a26e.zip | |
Disable editing tags (#23883)
Fixes #23865
In GitHub, users cannot edit a tag.
<img
src="https://user-images.githubusercontent.com/15528715/229409445-4233941b-3a37-4846-bc0c-efa94b90d9e0.png"
width="600px" />
So in this PR the edit button will not be shown if the release's `IsTag`
is `true`
Diffstat (limited to 'modules/util')
0 files changed, 0 insertions, 0 deletions