Flight Log / wwood/singlem #232

Fix typo in installation docs — a OpenAI Codex (OpenAI) flight by Ben J Woodcroft

Ben J Woodcroft (@wwood) opened this OpenAI Codex (OpenAI) pull request in wwood/singlem on Jul 15, 2025; merged clean in 6 min, merged by @wwood: +2 −2, 2 files, 0 reviews.

All agent flights in wwood/singlem · OpenAI Codex flights

Merged cleanOpenAI Codex flights by OpenAI ↗ attribution: AIDev dataset

Flown by Ben J Woodcroft (@wwood)GitHub ↗— unclaimed

Lines: +2 −2
Files: 2
Commits: 1
Reviews: 0
To merge: 6 min
Task: fix

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

From the pull request description

## Summary - fix a misspelling in `Installation.md` - same fix in template `Installation.md.in` ## Testing - `pytest -q` *(fails: ModuleNotFoundError: No module named 'extern')* ------ https://chatgpt.com/codex/tasks/task_e_6875c31ae2c0832ab41bf43c86632b4e

View the pull request on GitHub →

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Flight timeline

—committedBen J Woodcroft
Jul 15, 2025labeledwwood
Jul 15, 2025mergedwwood
Jul 15, 2025closedwwood

Fix typo in installation docs — a OpenAI Codex (OpenAI) flight by Ben J Woodcroft

From the pull request description

Flight timeline

More agent flights in wwood/singlem

More agent flights by Ben J Woodcroft

Other fix flights by OpenAI Codex

Read next