On Wed, Nov 23, 2022 at 2:09 PM Andres Freund <andres@anarazel.de> wrote:
> It's a huge improvement here.
Same here. eelpout + elver looking good, just a fraction of a second
hitting that web server each minute. Long polling will be better and
shave off 30 seconds (+/- 30) on start time, but this avoids a lot of
useless churn without even needing a local mirror. Thanks Andrew!