3 ms·

The modern trend is autoclosing PR's after they haven't had any activity in X months, so there's not much difference with mailing lists anymore...