[isabelle-dev] Access problems to repositories and NFS

Lars Hupel hupel at in.tum.de
Wed Apr 12 14:43:30 CEST 2017


> Indeed it is, thanks to the invaluable help of Franz Huber. However, he
> spoke of a workaround when he notified us and wasn't 100% certain it
> works reliably. I felt we should wait a few more days before we move the
> repo back, but I am easy either way.

I would still suggest mainly pushing to the temporary repository, with
occasional (manual) syncs to the official repository. If nothing breaks
until next week I'll delete the temporary repository again.

Cheers
Lars



More information about the isabelle-dev mailing list