[isabelle-dev] Sunsetting Mercurial support in Bitbucket

Lawrence Paulson lp15 at cam.ac.uk
Fri Aug 23 13:29:47 CEST 2019

You are confident but I am not so sure. The longer we cling on, the more painful the eventual transition will be for all of us. This is not to criticise your original choice all those years ago.

What are the objective reasons for us to stick with Mercurial? What are its real benefits over Git?


> On 23 Aug 2019, at 05:46, Makarius <makarius at sketis.net> wrote:
> Non sequitur. It is just that one particular hosting provider no longer
> wants to continue.

More information about the isabelle-dev mailing list