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... -- PMM