Galaxy maintenance

Hi all,

We’re going to be pushing a small update to the Galaxy site in a few minutes. There may be a few minutes of downtime, but things should be back up and running quickly.

Thanks!

The maintenance was complete, and all functions should be operating normally. Please let us know if you see any problems with the website or API.

Thanks!