Idea: git push requests | Hacker News Reader