227384e332
Follow-up to the salvaged #114614 pick: - `_codex_login_post`: the `for` loop ended in an unreachable `raise … # pragma: no cover` (needed only to satisfy the return type). A `while True` with the terminal condition folded into the except branch has no dead path and the same three-attempt bound. - `_codex_poll_authorization_code`: the pick duplicated the `except KeyboardInterrupt` handler; the second copy was unreachable. - Tests: six change-detector tests collapsed into two invariants (poll survives blips but never retries a non-transport exception; one-shot POST retries once and keeps the typed AuthError + TLS hint + cause chain at the cap). The existing test_codex_device_login_ssl_hint.py still pins the poll's terminal hint path. - Docs: providers.md notes that a single dropped connection during device login is no longer fatal.
Website
This website is built using Docusaurus, a modern static website generator.
Installation
yarn
Local Development
yarn start
This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.
Build
yarn build
This command generates static content into the build directory and can be served using any static contents hosting service.
Deployment
Using SSH:
USE_SSH=true yarn deploy
Not using SSH:
GIT_USER=<Your GitHub username> yarn deploy
If you are using GitHub pages for hosting, this command is a convenient way to build the website and push to the gh-pages branch.
Diagram Linting
CI runs ascii-guard to lint docs for ASCII box diagrams. Use Mermaid (````mermaid`) or plain lists/tables instead of ASCII boxes to avoid CI failures.