Make git push use push.default=simple