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

[Alexander Krauss]

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...

Alex