gitconfig: change default push behavior to simple