On Mon, Jan 28, 2013 at 10:48 AM, Dario Taraborelli dtaraborelli@wikimedia.org wrote:
FYI the toolserver's web server is currently giving bad gateway errors and the issue has been confirmed by multiple people, I filed a note to the ts-admins.
fwiw, looks fixed