Index: tools/release/common_includes.py |
diff --git a/tools/release/common_includes.py b/tools/release/common_includes.py |
index c2b64c38ec85946d01a6e9f5e6bb7f9ca0d48573..61d60f1640ca40c8e4fc69c07fb658be146e709b 100644 |
--- a/tools/release/common_includes.py |
+++ b/tools/release/common_includes.py |
@@ -381,7 +381,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 [3, 7, 15, 35, 45, 60]: |
+ for wait_interval in [5, 10, 20, 40, 60, 60]: |
self.step.Git("fetch") |
commit = self.step.GitLog(n=1, format="%H", grep=message, branch=remote) |
if commit: |