Publish the fizzy skill to basecamp/skills on release - #214

Merged

jeremy merged 9 commits into

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
981ae20
Skip the release-time skills sync for anything but the latest stable release
jeremy
committed
3af229e
Run the sync as the source its CLI_NAME default names
jeremy
committed
a917e94
Send the token as a github.com-scoped Authorization header, not a URL rewrite
jeremy
committed
540866d
Say that make check runs the skills sync test too
jeremy
committed
14d039f