git 2.0 push.default=simple