Hacker News new | ask | show | jobs
by xeonmc 2 hours ago
You can disable PRs and Issues on GitHub. Though still good to migrate away for reliability considerations.