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