On Sun, 15 Dec 2024 at 03:35, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> Nowadays run_branches' check for whether there's something to do is
> cheap enough that it's not worth skipping. So it's recommendable
> to just launch that every so often, and not complicate your life
> with manual per-branch scheduling.
>
Thanks for explaining / confirming.
I'll update the remaining machine configurations soon.
-
robins