Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP now hosted on Heptapod

view this post on Zulip Email Gateway (Aug 23 2022 at 09:16):

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>
Since Atlassian is discontinuing its support for the Mercurial version control system, the development repository of the AFP is now hosted on a new platform, Heptapod:

http://foss.heptapod.net/isa-afp/afp-devel

If you are an AFP author with access to the development repository and would like to continue this access on Heptapod, please follow these steps:

- sign up at http://foss.heptapod.net/ (you can use a Bitbucket account, GitHub account, or fresh setup)
- email me your Heptapod account name
- add your ssh key on http://foss.heptapod.net/
- in your afp-devel working copy in the file .hg/hgrc, change

[paths]
default = ssh://hg@bitbucket.org/isa-afp/afp-devel

into

[paths]
default = ssh://hg@foss.heptapod.net/isa-afp/afp-devel

You should then be able to continue work as before.

Access to Bitbucket is being revoked at the moment, and the repositories there will be deleted on 1st July.

We’d like to thank Octobus and Clever Cloud, the two companies behind http://foss.heptapod.net/, for hosting the AFP for free and making the transition off Bitbucket much less painful than it could have been.

Cheers,
Gerwin (for the AFP editors)

view this post on Zulip Email Gateway (Aug 23 2022 at 09:16):

From: Makarius <makarius@sketis.net>
Great.

Note that there are a few remaining bitbucket URLs here and there, e.g. on
https://www.isa-afp.org/download.html

I've also written a short blog note:
https://sketis.net/2020/mercurial-hosting-of-isabelle-afp-on-heptapod

Makarius

view this post on Zulip Email Gateway (Aug 23 2022 at 09:16):

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>

On 26 Jun 2020, at 22:58, Makarius <makarius@sketis.net> wrote:

On 26/06/2020 11:08, Klein, Gerwin (Data61, Kensington NSW) wrote:

Since Atlassian is discontinuing its support for the Mercurial version control system, the development repository of the AFP is now hosted on a new platform, Heptapod:

http://foss.heptapod.net/isa-afp/afp-devel

Great.

Note that there are a few remaining bitbucket URLs here and there, e.g. on
https://www.isa-afp.org/download.html

Thanks, now updated!

I've also written a short blog note:
https://sketis.net/2020/mercurial-hosting-of-isabelle-afp-on-heptapod

Good, that will also be easier to find by google in a few months.

Cheers,
Gerwin

Last updated: Nov 21 2024 at 12:39 UTC