Learn more about these different git repos.
Other Git URLs
faed56c
- if the time left is < twice our expected delay, halve it, to be more gentle