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

[Makarius]

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