Cherry, a filter for AI generated PRs | Dark Hacker News