We built a GitHub App to level up our CI pipeline | Hacker News Reader