Re: out of CI pipeline minutes again

[Thomas Huth]

On 23/02/2023 13.56, Peter Maydell wrote:
> 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...

I'd like to propose again to send a link along with the pull request that 
shows that the shared runners are all green in the fork of the requester. 
You'd only need to check the custom runners in that case, which hopefully 
still work fine without CI minutes?

It's definitely more cumbersome, but maybe better than queuing dozens of 
pull requests right in front of the soft freeze?

 Thomas