From e57d4fb27bed337786015aa9e7f49e478daf81ef Mon Sep 17 00:00:00 2001
From: Alexandre Bard <alexandre.bard@netmodule.com>
Date: Tue, 3 Oct 2023 16:53:44 +0200
Subject: [PATCH] jobs/UpdateSrcRevisions: Ignore errors when PR already exists

---
 jobs/Jenkinsfile_UpdateSrcRevisions | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/jobs/Jenkinsfile_UpdateSrcRevisions b/jobs/Jenkinsfile_UpdateSrcRevisions
index faa2f32..7e50d6b 100644
--- 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}")
   }