add git config setting for push.default