[isabelle-dev] Repository trouble (Re: http://isabelle.in.tum.de/testboard/)
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
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