James E. Blair 47bd535d60 Use a thread pool to update gitea repos faster
This keeps repo creation serialized (because of a bug in gitea),
but it parallelizes updating the settings.  This should reduce
our time by about half.

It also uses a requests session, though I'm not sure if that
really gets us anything.

It eliminates a couple of extraneous GET calls following 302
redirect responses from the POSTs on setting updates.

This will automatically paralellize to nproc * 5 threads.

Change-Id: I5549562d667c0939d0af1151d44b9190774196f9
2019-07-16 10:29:24 -07:00
..
2018-08-23 21:34:42 +10:00
2019-02-11 10:16:58 -08:00
2018-09-05 15:52:36 -07:00
2018-08-23 21:34:42 +10:00
2018-08-27 07:34:36 -07:00
2018-08-27 07:34:28 -07:00
2018-08-28 14:28:48 -07:00
2018-08-24 19:57:29 +00:00