Hans-Christoph Steiner eb77f72cd2 store last working mirror per repo
For mirroring to work on multiple repos, this must be stored and used per-
repo.  The timeout and number of tries seem fine to keep global to reduce
the total amount of mirror churn when this logic is searching.
2018-04-18 09:53:16 +02:00
..
2018-04-18 09:53:16 +02:00
2018-04-13 21:39:37 +02:00
2017-05-31 17:29:40 +02:00