mirror of
https://github.com/fabro-sh/fabro.git
synced 2026-09-05 08:10:39 +00:00
The is_repo_public function called GET /repos/{owner}/{repo} with
the App JWT, but GitHub returns 401 for App JWTs on the repos
endpoint (they need an installation token). Previously this 401
was treated as an auth error, failing sandbox init.
Now 401 and 403 are treated like 404: assume private and proceed
to create an installation access token, which has the right perms.
Also add preflight phase to the DOT test runner.
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
|
||
|---|---|---|
| .. | ||
| attractor | ||
| docs | ||
| branching.dot | ||
| conditions.dot | ||
| invalid.dot | ||
| legacy_tool.dot | ||
| parallel.dot | ||
| retro-e2e.dot | ||
| simple.dot | ||
| styled.dot | ||