Wrong link

jglick · jglick · commit 83df236a47cf · 2024-02-01T17:34:36.000-05:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,5 @@
 configurations = [[platform: 'linux', jdk: 21]]
-if (env.CHANGE_ID == null) { // TODO https://github.com/jenkinsci/script-security-plugin/pull/555 workaround
+if (env.CHANGE_ID == null) { // TODO https://github.com/jenkins-infra/helpdesk/issues/3931 workaround
   configurations += [platform: 'windows', jdk: 17]
 }
 buildPlugin(

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`configurations = [[platform: 'linux', jdk: 21]]`
`2`		`-if (env.CHANGE_ID == null) { // TODO https://github.com/jenkinsci/script-security-plugin/pull/555 workaround`
	`2`	`+if (env.CHANGE_ID == null) { // TODO https://github.com/jenkins-infra/helpdesk/issues/3931 workaround`
`3`	`3`	`configurations += [platform: 'windows', jdk: 17]`
`4`	`4`	`}`
`5`	`5`	`buildPlugin(`