[isabelle] AFP submission site is unavailable?



Dear core Isabelle maintainers,

I was trying to submit a new AFP submission over the new web interface
on https://www.isa-afp.org/submitting.shtml.

I followed the link on "via this webpage" in the first sentence to
https://ci.isabelle.systems/afp-submission/, but then received an
ERROR 503 in my browser and in my command line (to make sure it is not
an obscure browser issue):

```
wget https://ci.isabelle.systems/afp-submission/

--2016-06-23 21:55:26--  https://ci.isabelle.systems/afp-submission/
Resolving ci.isabelle.systems... 131.159.46.85
Connecting to ci.isabelle.systems|131.159.46.85|:443... connected.
HTTP request sent, awaiting response... 503 Service Unavailable
2016-06-23 21:55:26 ERROR 503: Service Unavailable.
```

I assume the maintainers are aware, I just wanted to point it out, in
case you were not.

[`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 :)]

Thanks in advance for the hard maintenance work.

Best regards,

Lukas




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