set push.default of gitconfig to simple