Ask HN: What's the best-managed open source repo you've seen on GitHub?

I think in the age of AI slop contribution spam, pi has a notably good way to manage contributions.

https://github.com/earendil-works/pi/blob/main/CONTRIBUTING....