Avoid message for git push.default