Apparently, this version of git doesn't have push.default=simple