[isabelle-dev] Repository trouble

[Alexander Krauss]

On 09/06/2012 01:48 AM, Alexander Krauss wrote:

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

Done.

 From now on, I will no longer push directly from my laptop, only via 
some intermediate clone, to reduce the annoyances for everybody. I'll 
also try to get help on the mercurial mailing list.

Alex