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}")
   }