[isabelle-dev] Sunsetting Mercurial support in Bitbucket

[Makarius]

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.


	Makarius