Sync only the skills this CLI owns to basecamp/skills - #708

Merged

jeremy merged 11 commits into

mainfrom

sync-skills-ownership

Sep 14, 2026

Commits on Sep 13, 2026

Commits on Sep 14, 2026

Say what the private gitconfig replaces, and what it does not
jeremy
committed
91ad689
Skip the release-time skills sync for anything but the latest stable release
jeremy
committed
9bbb58d
Run the sync as the source its CLI_NAME default names
jeremy
committed
7baa58f
Clear any inherited SKILLS_TOKEN before the sync test runs
jeremy
committed
32393fd
Put the remote dry-run heading back on the target it describes
jeremy
committed
ee9828f
Say which skills the legacy-manifest tombstone shields, and which it cannot
jeremy
committed
d332f39
Send the skills token as a github.com-scoped Authorization header, not a URL rewrite
jeremy
committed
4ec7f53