ci(jenkins): change the github comment for the linters (#588)

v1v · web-flow · commit fff08b3aa6c1 · 2019-09-11T12:47:23.000+01:00
diff --git a/.ci/linting.groovy b/.ci/linting.groovy
@@ -13,7 +13,7 @@ pipeline {
     quietPeriod(10)
   }
   triggers {
-    issueCommentTrigger('(?i).*(?:jenkins\\W+)?run\\W+(?:the\\W+)?lint(?:\\W+please)?.*')
+    issueCommentTrigger('(?i).*(?:jenkins\\W+)?run\\W+(?:the\\W+)?linters(?:\\W+please)?.*')
   }
   stages {
     stage('Sanity checks') {

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ pipeline {`
`13`	`13`	`quietPeriod(10)`
`14`	`14`	`}`
`15`	`15`	`triggers {`
`16`		`- issueCommentTrigger('(?i).(?:jenkins\\W+)?run\\W+(?:the\\W+)?lint(?:\\W+please)?.')`
	`16`	`+ issueCommentTrigger('(?i).(?:jenkins\\W+)?run\\W+(?:the\\W+)?linters(?:\\W+please)?.')`
`17`	`17`	`}`
`18`	`18`	`stages {`
`19`	`19`	`stage('Sanity checks') {`