diff options
| author | Ben Hutchings <ben.hutchings@codethink.co.uk> | 2020-09-16 20:52:36 +0100 |
|---|---|---|
| committer | Ben Hutchings <ben.hutchings@codethink.co.uk> | 2020-09-16 20:55:33 +0100 |
| commit | 924322a8cff67c75fb4a489b5926c765375c0d21 (patch) | |
| tree | a3033e6732931a79f898b13912982372eaecac35 /open-source-lorries/erlang-modules.lorry | |
| parent | cedb6ed95734ac2514b354eb8d14244ad2b3c76f (diff) | |
| download | lorries-bwh/misc-fixes.tar.gz | |
Temporarily increase lorry-timeout to allow updating fpc mirrorbwh/misc-fixes
The fpc mirror stopped updating in 2017, apparently because git-svn
doesn't follow redirections. The current timeout of 7200 seconds (= 2
hours) is not long enough for Lorry to catch up. Change it to 28800
seconds (= 8 hours) which I estimate will be long enough to do so.
We can change this back later.
Diffstat (limited to 'open-source-lorries/erlang-modules.lorry')
0 files changed, 0 insertions, 0 deletions