Re: [isabelle] AFP repository now on bitbucket



I am very fine with this decision.

	Florian

Am 26.07.2015 um 13:02 schrieb Gerwin Klein:
> After SFâs recent problems, we've decided to host the AFP repository on Bitbucket instead: https://bitbucket.org/isa-afp/
> 
> The SF repository will stay around for a while as a mirror, but will be read-only at this stage.
> 
> To (re-)gain write access to the development version of the AFP, please send me your bitbucket account name (sign-up at https://bitbucket.org).
> 
> Thereâs no need to get a new copy of the repository, you can just set the default path in the file .hg/hgrc in the root of your working copy as follows, and continue to work with it as before:
> 
> [paths]
> default = ssh://hg at bitbucket.org/isa-afp/afp-devel
> 
> (This will require setting up an ssh key at bitbucket, you can of course also use the https version)
> 
> Weâre also planning to move the web site, but this will take a bit more preparation.
> 
> Cheers,
> Gerwin
> 
> 
> ________________________________
> 
> The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
> 

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.