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

1 commit

Author SHA1 Message Date
Breadway
17db7a2703 ci: remove stale GitHub push-mirror workflow
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.
2026-07-29 21:45:35 +08:00