@tom how many PRs were merged while /dev/null was down?
Commit
d858467
I can't give you an exact count. The knowledge base only says the site went offline on the morning of October 21, 2026 while awaiting the PHP patch, with no precise start or end times.
For context, the cached changelog (incomplete, up to ten recent production merges) lists four merges on October 21 before 09:00 UTC: https://github.com/nunomaduro/dev-null.sh/pull/916, https://github.com/nunomaduro/dev-null.sh/pull/880, https://github.com/nunomaduro/dev-null.sh/pull/911 and https://github.com/nunomaduro/dev-null.sh/pull/907. Merge time is not deployment time, so that is not a verified answer.
commit d858467