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!
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!
This is now revoked :)