Our website mirror community needs some love

(I'm using the Applications -> GetTor component, since there is nothing suitable in the Community component. Maybe that ought to get fixed too? I'm not sure.)

We have a pile of website mirrors: https://www.torproject.org/getinvolved/mirrors along with instructions for setting up a mirror: https://www.torproject.org/docs/running-a-mirror and a mailing list with our excited mirror operator volunteers: https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-mirrors

The first page above is generated from a script in the webwml repository: 'make mirrors' runs ./update-mirrors.pl which pulls in the entries from include/tor-mirrors.csv.

I just ran the script today (May 3 2017): https://lists.torproject.org/pipermail/tor-commits/2017-May/122271.html and it looks like it was last run in Sept 2016.

So:

A) We should think about ways to automate the script. Maybe we shouldn't spend too much energy on this one until we've thought about how the mirror pages will fit into the future website redo.

B) We should figure out how to handle the community of mirror operators better. There's a mailing list, tor-mirrors, where people send mail to sign up their mirrors, and then nobody does anything. I bet we can improve on that process. :)