gitconfig: use the new default push action "simple"