Please don't merge PRs today

Please could we not merge any PRs today (July 13th). We’ve got some stuff merged but I’m not 100% sure that it won’t cause chaos right now. I’ll get it all finished later this evening, but for now, it would be best not to merge Track PRs please!

1 Like

Uh… whoops? I did merge one PR on the common-lisp track a couple hours ago - didn’t see this message.

This acted as a nice test of a new code-path. The tests didn’t rerun because only docs changed! :slight_smile:

This is now revoked :)