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