[gimp-web] (11 commits) Non-fast-forward update to branch wip/Jehan/fix-ci

[Jehan <jehanp src gnome org>]

The branch 'wip/Jehan/fix-ci' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  7902b43... tools: flush stdout after each mirror check.
  ffe5aec... tools: HTTP calls moved to requests module instead of urlli
  4243faa... tools: make the HTTP checks concurrently.
  1e85373... tools: optimize further the gimp-check-mirrors script.
  a29bd91... tools: one more optimization of gimp-check-mirrors script.
  142e1ba... Add some debugging for the CI.
  25e863b... More debug.
  00727e0... tools: don't wait forever for long downloads.
  7172f05... Revert "More debug."
  bcff344... Revert "Add some debugging for the CI."

Commits added to the branch:

  edc7e09... tools: flush stdout after each mirror check. (*)
  0aa4dfe... tools: HTTP calls moved to requests module instead of urlli (*)
  54f1d3f... tools: make the HTTP checks concurrently. (*)
  5a94436... tools: optimize further the gimp-check-mirrors script. (*)
  8f16969... tools: one more optimization of gimp-check-mirrors script. (*)
  1cb3c10... tools: don't wait forever for long downloads. (*)
  07a5bc1... Add some debugging for the CI.
  e123cf2... More debug.
  6d93b95... Revert "More debug."
  6bbf00a... Revert "Add some debugging for the CI."
  265184c... tools: try adding headers again to the requests.get() call.

(*) This commit already existed in another branch; no separate mail sent