Index: tools/release/common_includes.py |
diff --git a/tools/release/common_includes.py b/tools/release/common_includes.py |
index c3a216c66416c1b6f1348666117eae5dcb6b6478..5c03236223779b64d9d59dc26abd0fe1c1a9b3cc 100644 |
--- a/tools/release/common_includes.py |
+++ b/tools/release/common_includes.py |
@@ -382,7 +382,7 @@ class GitInterface(VCInterface): |
# is the case for all automated merge and push commits - also no title is |
# the prefix of another title). |
commit = None |
- for wait_interval in [5, 10, 20, 40, 60, 60]: |
+ for wait_interval in [10, 30, 60, 60, 60, 60, 60]: |
self.step.Git("fetch") |
commit = self.step.GitLog(n=1, format="%H", grep=message, branch=remote) |
if commit: |