Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP repository now on bitbucket

view this post on Zulip Email Gateway (Aug 22 2022 at 10:40):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
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@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.

view this post on Zulip Email Gateway (Aug 22 2022 at 10:40):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
I am very fine with this decision.

Florian
signature.asc

view this post on Zulip Email Gateway (Aug 22 2022 at 10:40):

From: Joachim Breitner <breitner@kit.edu>
Hi,

will you obtain a dedicated domain for the permanent URLs which will
redirect to the hoster of choice of the current decade, so that URLs in
citations etc. will last longer?

Greetings,
Joachim
signature.asc

view this post on Zulip Email Gateway (Aug 22 2022 at 10:41):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
Yes! (Well, strictly speaking: no, we have already obtained a domain ;-), but we still have to set things up)

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.

Last updated: Apr 18 2024 at 20:16 UTC