David Cock wrote:
> Apparently they had a storage system issue, and obviously didn't have a
> tested recovery plan.

There's some more information here:

http://sourceforge.net/blog/sourceforge-infrastructure-and-service-restoration/

In short, they are working on it, and interestingly, they are holding
restoration of SCM services off until last...

> At this point, the sooner everybody moves off of
> Sourceforge, the better.

It'd also be nice to have a mirror of the repository, regardless of where
it's hosted.

Cheers,

Bertram
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to