Avoid trivial merges with github pull requests | Hacker News Reader