Peter Maydell <peter.mayd...@linaro.org> writes:
> On Wed, 16 Dec 2020 at 18:24, Alex Bennée <alex.ben...@linaro.org> wrote: >> >> >> Alex Bennée <alex.ben...@linaro.org> writes: >> >> > The following changes since commit >> > af3f37319cb1e1ca0c42842ecdbd1bcfc64a4b6f: >> > >> > Merge remote-tracking branch 'remotes/bonzini-gitlab/tags/for-upstream' >> > into staging (2020-12-15 21:24:31 +0000) >> > >> > are available in the Git repository at: >> > >> > https://github.com/stsquad/qemu.git tags/pull-testing-161220-1 >> > >> <snip> >> > - hotfix for centos8 powertools repo >> >> As you have noted this requires the cached copy to be deleted. I'm not >> sure if it's worth handling that in code or if you just do that manually >> before you merge? > > I would prefer it if the gitlab CI infra Just Worked. I don't > want to be manually messing around with it... I updated the centos8 image to FROM centos:8.3.2011 to trigger the full re-build automatically but that has caused a bunch of failures in other bits so that will need some additional fixes. > > -- PMM -- Alex Bennée