On Mon, Feb 07, 2022 at 02:00:25PM -0500, Tom Lane wrote: > Not too surprisingly, these patches broke during the commitfest. > Here's a rebased version. > > I'm not sure that anyone wants to review these in detail ... > should I just go ahead and push them?
I don't see anything shocking after a quick glance, and I don't think any review is going to give any more confidence compared to the script-dep-testing script, so +1 for pushing them since the cf bot is green again.