refactor: extract GitHub mirror to release_mirror.php #160
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Problem
auto-release.yml Step 9 has 40 lines for mirroring releases to GitHub with hard-coded fallback URLs.
Solution
New CLI tool release_mirror.php.
Files
Branch created:
feature/160-refactor-extract-github-mirror-to-releasProof
Commit
48d574eon dev.New CLI tool
cli/release_mirror.php— mirrors Gitea releases to GitHub with asset download+upload. Registered asrelease:mirrorin bin/moko.