Adds default push type to gitconfig