Hi Lukas,
I reset the testboard repository to start with a clean clone from the development repository and now everything should work again. If anyone is eager to restore the old testboard's changesets, we are happy for any assistance, otherwise we will discard them within the next week, if no one objects.
I've had the same issue (for the same reason :-) ) once or twice before. Usually, running hg verify on the repository will tell you the first corrupted revision (usually the one you were pulling when running out of space/quota), and you can then clone everything else, which gets you back where you started.
While it may be a good idea to clean up testboard once in a while (I am not sure how well hg scales to thousands of heads), we should try to archive the changesets somewhere. Otherwise it will be impossible to read old threads on the list, which sometimes refer to them.
Alex _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
