[isabelle-dev] Problem with the AFP repository at heptapod

[Makarius]

On 13/02/2021 12:12, Makarius wrote:
> 
> Generally, the Heptapod / Octobus / Clevercloud is rather small and run by a
> few smart people, see also https://octobus.net/#people mainly in France.

One of these guys is Raphaël Gomès https://octobus.net/#rgomes

He recently had some public attention on the Mercurial mailing list (and other
channels) due to some conference talks about "Rust-ing" or "oxidation" of
Mercurial. Here is a version of the talk delivered in virtual Australia Jan-2021:

  https://lca2021.linux.org.au/schedule/presentation/49

  https://static.octobus.net/talks/Speeding-up-Mercurial-2021-01-LINUXCONFAU.pdf

  https://youtu.be/MBQLL3uCQ4I


Let's see how Mercurial will look like in 1-3 years.


	Makarius