1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/publish_doxygen_coverage.js b/scripts/publish_doxygen_coverage.js
index 723115d36d..b71d6cf8e2 100755
--- a/scripts/publish_doxygen_coverage.js
+++ b/scripts/publish_doxygen_coverage.js
@@ -1,7 +1,9 @@
 #!/usr/bin/env node
 
 const jwt = require('jsonwebtoken');
-const github = require('@octokit/rest')();
+const github = require('@octokit/rest').plugin(require('@octokit/plugin-retry'))({
+    retry: { doNotRetry: [ /* Empty — retry on any error code. */ ] }
+})
 const zlib = require('zlib');
 const AWS = require('aws-sdk');
 const fs = require('fs');