Automatic PR merging. Where shall we go? | Hacker News Reader