On 2022-02-26 17:09:08 -0800, Andres Freund wrote: > You could put the script in src/tools/ci and call it from the script to avoid > the quoting issues.
Might also be a good idea for the bulk of the docs / coverage stuff, even if there are no quoting issues.