put frhreault as default reviewer if not arnaudbore doing the PR

scilus · Mar 9, 2023 · 007514e · 007514e
1 parent a368957
commit 007514e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -51,7 +51,7 @@ pipeline {
                         pullRequest.createReviewRequests(['arnaudbore'])
                     }
                     else{
-                        pullRequest.createReviewRequests(['GuillaumeTh'])
+                        pullRequest.createReviewRequests(['frheault'])
                     }
                 }
             }