[isabelle-dev] push request (Sublist.thy)

[Dmitriy Traytel]

On 17.12.2012 15:23, Makarius wrote:
> On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
>
>> I use Mercurial 2.2 and after pushing ed6b40d15d1c the attached error 
>> log was generated. hg verify on the server says that c4a27ab89c9b is 
>> the first damaged changeset. The corrupted repository is still on the 
>> server (/home/isabelle-repository/repos/isabelle.13.12.2012.backup).
>
> We need to find more physical side-conditions for this kind of reactor 
> meltdown.  What is your operating system platform?  Are you using 
> bookmarks and/or patch queues locally?
>
>
>     Makarius
Ubuntu 12.10 (Linux kernel 3.5.0-20-generic, 64 bit). No bookmarks, but 
I do have a local patch queue. Also note that the changeset I was 
pushing (attached in previous mail on this thread), was imported via hg 
import (after adding the user name manually).

Dmitriy