[gimp-web] (3 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:

  54e3700... Flush!

Commits added to the branch:

  7902b43... tools: flush stdout after each mirror check.
  ffe5aec... tools: HTTP calls moved to requests module instead of urlli
  61130ac... tools: make the HTTP checks concurrently.