[hughrr]

Please also add ”doesn’t auto close three million ignored GitHub tickets” every week, the true quality metric these days.

[antod]

Well, they were boring tickets in the CADT sense.

Seriously though, probably the difference being a boring project and being a bored project.