Re: [isabelle-dev] Problems connecting to https://isabelle.in.tum.de/repos/isabelle
On 18/07/18 22:31, Lars Hupel wrote: >> In the past 2 days the isabelle_cronjob could not connect to >> https://isabelle.in.tum.de/repos/isabelle -- but it appears to work from >> most other hosts that I've tried. Maybe some odd change concerning SSL >> certificates on the server vs. client side? > > That's indeed strange. There was an issue with the machine lxbroy10, but > as far as I could tell, it only affected SSH access. (The issue has been > fixed by our ops this morning.) I've seen the lxbroy10 problem in the logs as well, but that happens occasionally and it later works again. So far I have no clue why a particular virtual Ubuntu 16.04 cannot connect to https://isabelle.in.tum.de while other websites work. (There is no need for further action right now.) Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Problems connecting to https://isabelle.in.tum.de/repos/isabelle
In the past 2 days the isabelle_cronjob could not connect to https://isabelle.in.tum.de/repos/isabelle -- but it appears to work from most other hosts that I've tried. Maybe some odd change concerning SSL certificates on the server vs. client side? That's indeed strange. There was an issue with the machine lxbroy10, but as far as I could tell, it only affected SSH access. (The issue has been fixed by our ops this morning.) Lars ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Problems connecting to https://isabelle.in.tum.de/repos/isabelle
In the past 2 days the isabelle_cronjob could not connect to https://isabelle.in.tum.de/repos/isabelle -- but it appears to work from most other hosts that I've tried. Maybe some odd change concerning SSL certificates on the server vs. client side? To keep the release process going, I've now set up clones of the relevant repositories that are synchronized via ssh every 10 min: https://isabelle.sketis.net/repos -- see also Isabelle/7538b5f301ea. That was very easy following https://www.mercurial-scm.org/wiki/PublishingRepositories and I am inclined to give up https://bitbucket.org/isabelle_project eventually, and use https://isabelle.sketis.net/repos instead. It is generally better to stand on ones own feet, instead requiring the handholding of big companies. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev