[jswny]

What’s the point of having a public GitHub repo with PRs enabled if they will never merge any of them?

[wahnfrieden]

They merge bugfixes and documentation and they allow discussion in employee PRs