push: new config option "push.autoSetupRemote" supports "simple" push