Main tool shed - down?

Hi team, is your “main tool shed” down at the moment? I’ve tried the “Install new tools” button from the Admin panel of 3x different Galaxy instances (all in different OS’s and remote locations) and they all timeout at “Waiting for http://toolshed.g2.bx.psu.edu…”

Nothing to be found in terms of scheduled maintenance/outages at:

galaxy-dev Digests Vol 149, Issues 9-11

Marius is on the case https://gitter.im/galaxyproject/Lobby?at=5c04feaa48d021555ae38f27

The machine that hosts both our toolsheds is down, we will get it all up asap. Thanks for reporting.

toolshed is back up now: https://toolshed.g2.bx.psu.edu/

Can confirm the Toolshed is back online for me. Thanks @marten.