[isabelle-dev] Sunsetting Mercurial support in Bitbucket
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:
> 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