mirror.js now keeps repo descriptions in step with GitHub. A new
sync-issues workflow copies issues, PR conversations and comments onto
the mirrors with GitHub's numbering. Shared API helpers move to
gitea-mirrors.js. Every workflow now runs once a night, 1.5 hours apart.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Gitea drops releases for pull mirrors, so a new cron/manual workflow
creates releases for tags already synced to Gitea, updates edited
notes, and streams missing assets. Adds a README.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
multipleof4andClaude Opus 5.5