Server back online

2014-07-13 - Luke Shumaker

The repo server is back online. If anything appears to not be working on it, please report a bug, or notify someone on IRC.