← Back to context Comment by jswny 14 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 12 hours ago They merge bugfixes and documentation and they allow discussion in employee PRs
wahnfrieden 12 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