push.default matching on git, simple is not compatible with the Linux version