Re: no more pullreq processing til February

[Markus Armbruster]

If this backpressure leads us to less waste of time & energy (close &
personal: faster make check), then I <3 gitlab!