fix push.default of gitconfig