Weekly merged-PR chronicle
Curated, week-by-week highlights of PRs merged from 2026-09-01 through 2026-10-02 (UTC merge dates). GitHub returned 513 merged PRs in this interval; this chronicle selects milestone and arc landings rather than listing every merge.
| ISO week | Dates in range | All merged PRs | Selected PRs |
|---|---|---|---|
| 2026-W36 | Sep 1–6 | 134 | 17 |
| 2026-W37 | Sep 7–13 | 70 | 27 |
| 2026-W38 | Sep 14–20 | 152 | 31 |
| 2026-W39 | Sep 21–27 | 111 | 38 |
| 2026-W40 | Sep 28–Oct 2 | 46 | 33 |
PR links preserve merged titles. Issue links come from issue numbers in each PR title and GitHub closing-issue references; labels are copied from GitHub PR metadata. none means no linked issue from those sources or no label, respectively.
All merged PRs for the interval: GitHub PR search.
Current milestone status remains in docs/status.md; these weekly notes are historical, not a replacement status table.