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?
Yea. I'm just getting done with my pull request and it's really demotivating to be done early and miss the boat...
I'm happy to do this because it's what I do anyway before sending a pull...
Warner