Index: tools/push-to-trunk/common_includes.py |
diff --git a/tools/push-to-trunk/common_includes.py b/tools/push-to-trunk/common_includes.py |
index a555500203b340256be4bf8ecca67361441139a8..021b8bb4cd36bdf7a74b262ac1e50d9c03dcdfd9 100644 |
--- a/tools/push-to-trunk/common_includes.py |
+++ b/tools/push-to-trunk/common_includes.py |
@@ -408,7 +408,7 @@ class GitTagsOnlyMixin(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, 35]: |
+ for wait_interval in [3, 7, 15, 35, 45, 60]: |
self.step.Git("fetch") |
commit = self.step.GitLog(n=1, format="%H", grep=message, branch=remote) |
if commit: |