Require approval for Jenkins builds on PRs from external contributors

marko-bekhta · marko-bekhta · commit d67bf83a7d07 · 2025-01-17T17:32:01.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -106,6 +106,8 @@ stage('Configure') {
 										   """)
 	}
 
+	requireApprovalForPullRequest 'hibernate'
+
 	this.environments = AlternativeMultiMap.create([
 			jdk: [
 					// This should not include every JDK; in particular let's not care too much about EOL'd JDKs like version 9

Original file line number	Diff line number	Diff line change
`@@ -106,6 +106,8 @@ stage('Configure') {`
`106`	`106`	`""")`
`107`	`107`	`}`
`108`	`108`
	`109`	`+ requireApprovalForPullRequest 'hibernate'`
	`110`	`+`
`109`	`111`	`this.environments = AlternativeMultiMap.create([`
`110`	`112`	`jdk: [`
`111`	`113`	`// This should not include every JDK; in particular let's not care too much about EOL'd JDKs like version 9`