Use git push.default=simple