https://isabelle.sketis.net/repos provides uniform repository clones of
Isabelle + AFP -- this is updated via cron + ssh every 10min.
The original motivation was to avoid recurrent oddities with https
certificates from other repository servers, with the most recent
incident for Bitbucket (Isabelle/60b5a4731695):
ERROR abort: api.media.atlassian.com certificate error: certificate is
for dentalsaglik.com
There is another benefit for direct browsing: just one uniform HTML view
of repository content, using a current theme provided by Mercurial itself.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
