On 20/08/2019 21:52, Makarius wrote: > https://bitbucket.org/blog/sunsetting-mercurial-support-in-bitbucket?utm_source=alert-email&utm_medium=email&utm_campaign=bitbucket-eol-mercurial_EML-5301&jobid=104256548&subid=749141674
That text is typical marketing talk. Someone else has been very quick in answering it by counter-marketing: https://sourcehut.org/blog/2019-08-21-sourcehut-welcomes-bitbucket-refugees (But see also https://sourcehut.org/alpha-details) Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
