repo.eecs.berkeley.edu host system was compromised today. Reinstallation of the system is needed so the machine will be down until further notice. Once it is back and running, we will post an update.
UPDATE
[2017-03-22 10:27:42 | mark kraitchman]
Services on repo.eecs resumed around 9am
this morning,