Git to change default push behavior. | Dark Hacker News