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