October 2025 on GitHub: A Perfect Month and a Fifty-Year-Old Book
September’s recap opened the series with 144 PRs and a 97% merge rate. October decided to show off: 108 pull requests opened, 108 merged, zero left open, zero closed. A perfect month — the first of what would become a running tradition. And buried in there is my favorite oddball project of the fall: running a fifty-year-old book through my modern PR workflow, one chapter at a time. By the Numbers Metric Count Pull requests opened 108 … merged 108 … still open 0 … closed without merging 0 Issues opened (per my GitHub profile) 4 Commits (per my GitHub profile) 117 PR reviews given (per my GitHub profile) 0 Repos touched 15 Releases published 1 Bot-filed data updates 0 The busiest repos were this website (24), fini-infra (23), and mythical_person_month (22). That middle number is the tell: October was infrastructure month, with the CDN and tfstate work generating the two longest review threads of the fall. And the mythical_person_month number is the oddball — more on that below. ...