jobs/UpdateSrcRevisions: Ignore errors when PR already exists

2023-10-03 16:53:44 +02:00 · 2023-10-03 16:53:44 +02:00 · e57d4fb27b
parent 5bd30a70f1
commit e57d4fb27b
1 changed files with 6 additions and 0 deletions
--- a/jobs/Jenkinsfile_UpdateSrcRevisions
+++ b/jobs/Jenkinsfile_UpdateSrcRevisions
@ -117,6 +117,12 @@ def createPR(theBranch) {
                               --header '${acceptHeader}' \
                               --header '${contentHeader}' \
                               --data '${prDataJson}'").toString()
+
+
+  // It is okay if the pull request already exists: we can ignore the error
+  if(prResponse.contains("DuplicatePullRequestException"))
+    return
+
  if(prResponse.contains("error")) {
    error("Failed creating PR/MR:\n${prResponse}")
  }