← Back to context Comment by jswny 12 hours ago What’s the point of having a public GitHub repo with PRs enabled if they will never merge any of them? 1 comment jswny Reply wahnfrieden 10 hours ago They merge bugfixes and documentation and they allow discussion in employee PRs
wahnfrieden 10 hours ago They merge bugfixes and documentation and they allow discussion in employee PRs
They merge bugfixes and documentation and they allow discussion in employee PRs