set push.default to simple in gitconfig