1. 22 Jun, 2022 7 commits
  2. 16 Mar, 2022 1 commit
  3. 15 Mar, 2022 14 commits
  4. 09 Mar, 2022 1 commit
  5. 08 Mar, 2022 1 commit
  6. 23 Aug, 2021 3 commits
  7. 19 Aug, 2021 1 commit
    • boyska's avatar
      --stats does what it says · 0a4371ad
      boyska authored
      it is especially useful when you need to know the ratio of good vs bad
      mirrors (happens during release process)
      
      closes #18540
      0a4371ad
  8. 08 Apr, 2021 1 commit
  9. 26 Jan, 2021 2 commits
  10. 26 Jun, 2020 1 commit
  11. 16 Jun, 2020 2 commits
    • sajolida's avatar
      Shorten drastically the timeout of wget (#17736) · 3221da5a
      sajolida authored
      By default wget has a timeout of 900 seconds for each of DNS lookup, TCP
      connection, and idle time. Shortening it will make the --fast runs more
      predictable in duration.
      
      I was hesitating to put an even lower timeout to match better what the
      expectation of users might be: I would probably try to restart a
      download that was idle for 60 seconds.
      
      But I'm also afraid of triggering too many fast negative.
      3221da5a
    • sajolida's avatar
      Use consistent output format · 08a59c34
      sajolida authored
      08a59c34
  12. 03 Jun, 2020 5 commits
  13. 25 May, 2020 1 commit