Comment by jswny 16 days 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 16 days ago They merge bugfixes and documentation and they allow discussion in employee PRs
wahnfrieden 16 days 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