Use simple strategy for git push.default