From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 22 Feb 2022 12:07:47 GMT
Subject: Re: [PATCH 05/25] CI: remove unused Azure ci/* code
Message-ID: <nycvar.QRO.7.76.6.2202221306190.11118@tvgsbejvaqbjf.bet>
In-Reply-To: <220222.86k0dn89bm.gmgdl@evledraar.gmail.com>

Hi Ævar,

On Tue, 22 Feb 2022, Ævar Arnfjörð Bjarmason wrote:

> It's still unclear to me how Azure CI is being used as a "fall-back",
> can you explain that?

By reinstating the `azure-pipelines.yml` file from the last known-good
version.

Ciao,
Johannes