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? --lcp > On 23 Aug 2019, at 05:46, Makarius <[email protected]> wrote: > > Non sequitur. It is just that one particular hosting provider no longer > wants to continue. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
