Git config push.default matching | Hacker News Reader