Explicitly set push.default git config to silence warning