Hi; we've run out of gitlab CI pipeline minutes for this month. This leaves us the choice of: (a) don't process any more pullreqs til we get more minutes in Feb (b) merge pullreqs blindly without CI testing (c) buy more minutes
For the moment I propose to take option (a). My mail filter will continue to track pullreqs that get sent to the list, but I won't do anything with them. If anybody has a better suggestion feel free :-) thanks -- PMM
