github mirror timer absent on kai-server - fleet-wide mirror lag; installer not ansible-converged + stale path #329
Labels
No labels
burndown-2026-06
coherence-core
consult
headless
interactive
P0
P1
P2
P3
P4
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
coilyco-flight-deck/infrastructure#329
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
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?
Symptom
make ansible-syncflags ~25 repos withDRIFT github!=origin, github:+N/-0. Verified this is the GitHub mirror lagging behind canonical Forgejo (local == origin, github behind by N), not divergence or data loss.Root cause
The push-mirror is a systemd timer on kai-server (
coilysiren-github-mirror.timer,OnCalendar=*-*-* 04:15:00). It is not installed on kai-server:So Forgejo -> GitHub mirroring has not run, and the mirror has drifted fleet-wide.
Contributing problems
scripts/install-coilysiren-github-mirror.shis a manual installer, not referenced fromansible/,bootstrap.sh, or the Makefile. The timer can silently be absent andansible-syncwill not converge it. It should be an ansible role (rollout belongs in ansible per the authoring-vs-rollout split).INFRA_SRCdefault is the pre-migration path/home/kai/projects/coilysiren/infrastructure; canonical is now/home/kai/projects/coilyco-flight-deck/infrastructure.Suggested fix
coilysiren-github-mirror.{service,timer}on kai-server, folded intoansible-sync.INFRA_SRCdefault path.scripts/coilysiren-github-mirror.shonce to catch the mirror up.Found while triaging the ansible-sync freshness gate.