On 23/08/2019 11:21, Makarius wrote:
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=749141674That 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
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". Tobias
(But see also https://sourcehut.org/alpha-details) Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
