Re: [isabelle] AFP submission site is unavailable?



> [`Handling CI systems` appear to be these reappearing software
> engineering `miracles`:
> first, you have ONE software maintenance problem, so you set up a CI
> system, and then, you end up with TWO software maintenance problems ;)
> Still CI systems are great when they work :)]

1. User reports problem
2. Find cause in < 1 minute
3. System is down anyway, might as well roll out minor change
4. Screw up royally
5. Reprovision the whole AFP server

Sorry about that. The provisioning scripts are running right now. I
expect the system to be back in about an hour.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.