Comment Comment by jswny What’s the point of having a public GitHub repo with PRs enabled if they will never merge any of them? parent jswny 9 months ago
