out of CI pipeline minutes again

[Peter Maydell]

Hi; the project is out of gitlab CI pipeline minutes again.
In the absence of any other proposals, no more pull request
merges will happen til 1st March...

-- PMM