[gitconfig] MPI-Specific. Change push.default