On Sat, Mar 5, 2022 at 4:19 PM Andres Freund <andres@anarazel.de> wrote:
> https://github.com/cirruslabs/cirrus-ci-agent/issues/218#issuecomment-1059657781
Oof. Nice detective work.
> As indicated in the message above it, there's a workaround. Not sure if worth
> committing, if they were to fix it in a few days? cfbot could be repaired by
> just adding a repo environment variable of CIRRUS_AGENT_VERSION 1.73.2...
> OTOH, committing and reverting a single line + comment is cheap.
I vote for committing that workaround into the tree temporarily,
because it's not just cfbot, it's also everyone's dev branches on
Github + the official mirror that are red.
