It's restarted.  You should be able to use it normally, however, the
last commit Magma got was on 6-Jan-2018 (every one since then got
stuck on the Mutex), so every commit since then will be recovered (its
revision history indexed into the Magma DB) in the background, so you
may experience some sluggishness for the next few
days.

Thanks for your patience, sorry for any inconvenience.

 - Chris

On Thu, Jan 18, 2018 at 1:10 AM, Marcel Taeumel <marcel.taeumel at hpi.de> wrote:
> Hi, there.
>
> Since several weeks/months now, I cannot update a single package without
> either getting a gateway error or a connection timeout. Luckily, the timeout
> means that the code update was at least completed, which I can observe in my
> email inbox.
>
> What's going on there?! That used to work fine. Timeouts were rare. Gateway
> errors non-existent.
>
> Best,
> Marcel
>
>
>