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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev