On Mon, 17 Dec 2012, Dmitriy Traytel wrote:
So the patch queue was not used for that particular change? I wonder if it
can somehow interact nonetheless.
Right, no patch queue for that specific import. Changeset 50503 mentioned
below was the tip at the moment, when I pushed.
This fits to the description of
http://mercurial.selenic.com/wiki/RepositoryCorruption
4.4. Fixing changeset reference for index files from a patch queue
If the revision being repaired was part of an applied patch queue,
recovery is somewhat more complicated because the index file copied from
the cloned repo will reference the wrong changeset.
"If the revision being repaired was part of an applied patch queue" could
also mean the row of changes by Jasmin that were already pushed and in
their proper place. Jasmin, do you remember if these where plain
first-order commits on your side, or the result of applying a patch queue?
One probably needs more understanding of the physical repository
representation to deduce anything from that.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
