f9e7a4d473
Mirror pushes tags to GitHub but not releases. This workflow triggers on tag push, polls Gitea API for the release and artifacts, then creates a matching GitHub release with the same binaries and changelog.