[isabelle-dev] Repository trouble -- again

Makarius makarius at sketis.net
Sun Aug 12 18:50:42 CEST 2012

On Sun, 12 Aug 2012, Makarius wrote:

> Since we have had 2-3 incidents recently, it is time now to make a fresh 
> clone using a recent version of Mercurial (not the 1.0 we've had in 
> 2008). I have already recovered most of the meta-information that is 
> required for this (Unix permissions etc.).

This is now in Admin/Mercurial/Central, see Isabelle/71136069089d.

> A bit later we just switch the directories of the old vs. new central 
> clone, which means two atomic "mv" operations on the local file system.

The clone is already ready, see 

I am just waiting for Alex (or anybody else who might potentially apply 
some administrative operations to the bare metal repository) to confirm 
that we are ready for the exchange.


More information about the isabelle-dev mailing list