ci: remove stale GitHub push-mirror workflow #4

Merged
Breadway merged 1 commit from fix/remove-mirror-ci into main 2026-07-29 21:46:50 +08:00
Owner

mirror.yml was already removed from dev in 1120729 but never from main, so it kept triggering (and failing, MIRROR_TOKEN expired) on every push to main.

mirror.yml was already removed from dev in 1120729 but never from main, so it kept triggering (and failing, MIRROR_TOKEN expired) on every push to main.
Already removed from dev in 1120729; main never got it, so it kept
triggering and failing on every push (MIRROR_TOKEN is expired — see
open issue tracked separately). GitHub stays in sync via manual
'git push github' alongside origin, per repo hygiene notes.
Sign in to join this conversation.
No description provided.