On Wednesday, August 5, 2026 at 6:19:36 AM UTC-5 Edward K. Ream wrote:
> I merged this PR without any formal review...The lack of formal review does not trouble me in this case.
I'd like to reassure those who might be concerned about this "cowboy" approach.
The great thing about PRs is that they are a permanent record of all changes made, including all the individual commits that make up the PR. This record is invaluable if problems arise or if devs have concerns about the PR.
In short, PRs minimize the risk of all code changes.
Edward