[isabelle-dev] Testboard reset: Old Testboard changesets are removed

[Lukas Bulwahn]

Hello all,


Lars and I have taken over the maintenance of the reports and testboard 
from Alex yesterday.
Today, due to some storage issues, we did not learn early enough about, 
the testboard repository changed into an inconsistent state.

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.


Lukas