[isabelle-dev] Uniform Isabelle repository clones via https://isabelle.sketis.net/repos

Makarius makarius at sketis.net
Mon Feb 4 14:25:46 CET 2019

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.


More information about the isabelle-dev mailing list