Seed the skills sync with per-source manifests and the skills/ layout - #78

Merged

jeremy merged 8 commits into

mainfrom

sync-skills-ownership

Sep 14, 2026

Commits on Sep 13, 2026

Seed the skills sync with per-source manifests and the skills/ layout
jeremy
committed
f08ae6b
Retry the push a racing publisher rejects, and refuse a dirty checkout
jeremy
committed
fcd18c7
Apply the sync again from the remote's tip when a push is rejected
jeremy
committed
5aec9a1
Check every URL the target remote could push to
jeremy
committed
17c383a
Always clone the skills target fresh; retire SKILLS_TARGET and its guards
jeremy
committed
966966e

Commits on Sep 14, 2026