Re: [PULL 00/11] testing and configure updates

[Peter Maydell]

On Wed, 16 Dec 2020 at 18:24, Alex Bennée <alex.bennee@linaro.org> wrote:
>
>
> Alex Bennée <alex.bennee@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