A bit safer default push behavior in git.