[isabelle-dev] https://isabelle.in.tum.de/repos/isabelle -- Internal Server Error

[Makarius]

The web view of the Isabelle repository at TUM appears to be down -- I
have already informed the local admins. There could be also something
wrong with the somewhat dated Mercurial server setup --- it requires
further investigation.


In the meantime, everything can continue normally with
https://isabelle-dev.sketis.net -- it now uses a more direct ssh URL to
synchronize with TUM. The same repository clone is published as
https://isabelle.sketis.net/repos/isabelle

Here is a proof that it works by self-application:
https://isabelle.sketis.net/repos/isabelle/rev/99eec58dc551 -- next time
I will formalize these Phabricator configuration tweaks in Scala as
"isabelle phabricator_setup".


	Makarius