diff options
Diffstat (limited to 'deps/v8/tools/release/common_includes.py')
| -rw-r--r-- | deps/v8/tools/release/common_includes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deps/v8/tools/release/common_includes.py b/deps/v8/tools/release/common_includes.py index c3a216c664..5c03236223 100644 --- a/deps/v8/tools/release/common_includes.py +++ b/deps/v8/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: |