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