diff options
author | Bob Van Landuyt <bob@vanlanduyt.co> | 2019-07-19 18:28:23 +0300 |
---|---|---|
committer | Bob Van Landuyt <bob@vanlanduyt.co> | 2019-07-23 17:04:49 +0300 |
commit | ab11eee1d6e3881399b671f0ebe857a085321371 (patch) | |
tree | 83796b071d0e622e076b52f8b97a2931745a7c42 /.github | |
parent | 31335ea661ea27d7bed3990346f63aabcc2140a5 (diff) |
Mark mirrors as failed 1 hour after they started
We call `Project#mark_stuck_remote_mirrors_as_failed!` from the
`Git::BaseHooksService`. So that gets called every time we push tags
or branches.
Before this would only mark started mirrors as failed if they had
been started 24 hours ago. A push would never take 24 hours,
especially not when we run it so often.
Lowering that threshold 1 hour should at least allow us to retry
broken mirrors more often on pushes.
The timeout for the initial push is set somewhat longer to accommodate
for pushing large repos. Both numbers are currently picked arbitrarily.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions