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.
Breadway added 1 commit 2026-07-29 21:45:57 +08:00
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.
Breadway merged commit 491b927dcd into main 2026-07-29 21:46:50 +08:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: Breadway/bos#4
No description provided.