[isabelle-dev] Sunsetting Mercurial support in Bitbucket

[Tobias Nipkow]

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=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

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
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190823/1bf53f78/attachment-0001.bin>