push.default set to simple in the gitconfig file