Dzahn has submitted this change and it was merged. Change subject: jenkins: make Git plugin verbose ......................................................................
jenkins: make Git plugin verbose The Jenkins git plugin can be made verbose by passing an argument to jenkins when it is started up. That would let us figure out what is happening in some corner cases. Change-Id: Iffec56585fed854411f86e433904a9055b069d0f --- M files/misc/jenkins/etc_default_jenkins 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jenkins-bot: Verified Dzahn: Verified; Looks good to me, approved diff --git a/files/misc/jenkins/etc_default_jenkins b/files/misc/jenkins/etc_default_jenkins index eac697b8..efbf46d 100644 --- a/files/misc/jenkins/etc_default_jenkins +++ b/files/misc/jenkins/etc_default_jenkins @@ -51,4 +51,4 @@ # --argumentsRealm.passwd.$ADMIN_USER=[password] # --argumentsRealm.$ADMIN_USER=admin # --webroot=~/.jenkins/war -JENKINS_ARGS="--webroot=/var/run/jenkins/war --httpPort=$HTTP_PORT --ajp13Port=$AJP_PORT --prefix=/ci" +JENKINS_ARGS="--webroot=/var/run/jenkins/war --httpPort=$HTTP_PORT --ajp13Port=$AJP_PORT --prefix=/ci -Dhudson.plugins.git.GitSCM.verbose=true" -- To view, visit https://gerrit.wikimedia.org/r/49814 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iffec56585fed854411f86e433904a9055b069d0f Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Hashar <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
