set gitconfig push.default to simple