| 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:
|
|
|