Files
Yeqi Huang 0e9ac82f10 ci: deploy docs with an SSH deploy key instead of a PAT (#509)
The DEPLOY_TOKEN personal access token expired, so pushing to
openmlsys.github.io failed with "Invalid username or token". Use a
write-enabled deploy key scoped to that repository (DEPLOY_KEY secret),
which does not expire and is not tied to a personal account. GitHub's
SSH host key is pinned instead of trusting ssh-keyscan.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-26 02:19:45 +00:00
..