[tor-bugs] #13493 [Website]: Automate running ./update-mirrors.pl in the website builder

[Tor Bug Tracker & Wiki]

#13493: Automate running ./update-mirrors.pl in the website builder
-----------------------------+-----------------------
     Reporter:  arma         |      Owner:  Sebastian
         Type:  enhancement  |     Status:  new
     Priority:  normal       |  Milestone:
    Component:  Website      |    Version:
   Resolution:               |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+-----------------------

Comment (by Sebastian):

 Hrm, I kind of like to do a sanity check of the mirrors by downloading a
 random package. But if we don't report failures, that's useless. Maybe the
 real idea is to have something like doctor for mirrors, running
 independently of the website?

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/13493#comment:2>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online