GitHub welcomes all CI tools | Hacker News Reader