[isabelle-dev] Sunsetting Mercurial support in Bitbucket

Makarius makarius at sketis.net
Fri Aug 23 11:51:17 CEST 2019

On 23/08/2019 11:45, Tobias Nipkow wrote:
> Sourcehut is one of a number of services that provide hosting of
> Mercurial repositories:
> https://www.mercurial-scm.org/wiki/MercurialHosting
> This link was also included in the above "marketing talk".

Yes, I actually found it via that list.

I also like this other entry: https://www.versionshelf.com with the
slogan "Saving you and your team from distraction." But its hosting
platform is probably non-open-source.


More information about the isabelle-dev mailing list