Re: Adding CI to our tree

Hi,

On 2021-12-20 11:21:05 -0800, Andres Freund wrote:
> Attached is v4 of the CI patch.

I'd like to push this - any objections? It's not disruptive to anything but
cfbot, so we can incrementally improve it further.

I'll try to sync pushing with Thomas, so that he can adjust cfbot to not add
the CI changes anymore / adjust the links to the CI status URLs etc.

Greetings,

Andres Freund