Page MenuHomeIsabelle/Phabricator

Hosting of Isabelle/AFP after Jun-2020
Closed, ResolvedPublic

Description

Bitbucket will kill all its Mercurial repositories on 01-Jul-2020, see also:

It is the responsibility of the AFP editors to come up with a plan that fits to the underlying technology: Isabelle with its existing tooling for Mercurial (e.g. for long-term test data, paring of Isabelle vs. AFP changeset ids).

Event Timeline

makarius triaged this task as High priority.Feb 10 2020, 8:46 PM
makarius created this task.

An Atlassian / Bitbucket spokesperson says "there are no plans to remove Hg from SourceTree" (see
https://community.atlassian.com/t5/Bitbucket-articles/What-to-do-with-your-Mercurial-repos-when-Bitbucket-sunsets/ba-p/1155380#M176).

But note that Atlassian is not very trustworthy in its statements.

makarius updated the task description. (Show Details)Feb 11 2020, 7:21 PM
makarius updated the task description. (Show Details)May 6 2020, 12:13 PM