@CAM-Gerlach just to make sure there's no confusion, I'm letting you merge this since it's your PR. 🙂

@brettcannon I was letting you merge it because it was your PEP...heh.

In all seriousness, sorry about that; I can be too conservative about merging things sometimes, especially on this repo.

I reverted the other change you requested and will wait for the current issue with GitHub Actions/webhooks/pages/etc. to be resolved before merging, since when I merged a PR on another repo a short while ago, the GHP deploy never kicked off and the site didn't update, and I see that the builds on this PR pushing just now didn't trigger either.

In all seriousness, sorry about that; I can be too conservative about merging things sometimes, especially on this repo.

NP! If you didn't have commit rights I would have merged it, but since you do I prefer not to do the merge as you might have last-minute tweaks to do (see the miscommunication Jelle and I had I think last month).

NP! If you didn't have commit rights I would have merged it, but since you do I prefer not to do the merge as you might have last-minute tweaks to do (see the miscommunication Jelle and I had I think last month).

No, I totally understand—I was there for that, and I've seen that happen on other PRs here and elsewhere as its easy for there to be a miscommunication. If I'm doing knarly stuff like a rebase or critical changes I'll temporarily mark it as draft to prevent an inadvertent merge, but its a pretty heavy-handed tool to use for a lot of common cases, so that makes sense. Anyway, without further ado...