Git to change default push behavior. | Hacker News Reader