Stream: t-compiler

Topic: treeclosed?


mark-i-m (Dec 20 2019 at 21:42, on Zulip):

Why is the tree closed to PRs with p<100? It looks like it has been closed for about a week now...

centril (Dec 20 2019 at 21:47, on Zulip):

@mark-i-m for all infra questions, please see #infra on discord.

Last update: Jul 03 2020 at 17:55UTC