ci/tag-path-hardening
main
Gitea's release job ran only for v* tags; the GitHub port ran for any tag, so a tag pushed by hand for any other reason would have created a Gitea release and announced it. Restores the v* filter.