mirror of
https://github.com/fabro-sh/fabro.git
synced 2026-10-12 03:51:01 +00:00
23591d550f
The worker minted one read token at launch and a fresh push token for every checkpoint. The read token expired an hour into a run, so a workspace acquired later fetched with a dead credential. Minting per push put every push in GitHub's token-replication window, where a token minted moments earlier is rejected with 404 "Repository not found". The worker now keeps two InstallationTokenSource caches for the run, a read-only one for fetches and a contents: write one for pushes. Each fetch and push resolves through its source, which reuses one token until it nears expiry and then mints the next. Petri's RunSource asks a SourceCredentials provider on every fetch instead of holding a fixed credential. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| src | ||
| tests | ||
| build.rs | ||
| Cargo.toml | ||