On Wed, Nov 23, 2022 at 2:09 PM Andres Freund <and...@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!
