[isabelle-dev] Repository trouble (Re: http://isabelle.in.tum.de/testboard/)

Alexander Krauss krauss at in.tum.de
Thu Sep 6 01:48:01 CEST 2012

On 08/16/2012 11:03 PM, Makarius wrote:

>>> It could be an NFS corruption of the repository, or just the server
>>> feeling too hot. I've no real idea.
>> This seems to be happening regularly now, which is really very annoying.
> The testboard is not the main repository; so far the problem did not
> occur again on the latter. I am still hoping that the main repository is
> clean.

Unfortunately, the same just happened again on the main repository 
(again after myself pushing a change).

So I'll go through the known repair steps now...


More information about the isabelle-dev mailing list