Re: Scaling back CI (for now)?

Richard Eisenberg writes:

So, just checking: is the recommended route to merging now to use the Marge Bot instructions posted previously? (That is, get 1+ approvals and then assign to Marge.)

Indeed. I was just sent an email reiterating the previous guidance to the list. Cheers, - Ben