[isabelle-dev] Access problems to repositories and NFS
Lars Hupel
hupel at in.tum.de
Tue Apr 11 09:34:11 CEST 2017
> Until the problems with lxbroy10 are resolved, please try lxbroy9 or
> lxbroy8 as login nodes. The Isabelle repository should be available
> there too.
This appears to only give read access, not write access.
In order to keep going with development, I've created a temporary clone
on Bitbucket: <https://bitbucket.org/larsrh/isabelle-tmp>
I'm in the process of inviting people to that clone so they can keep
working. I'll also update the URLs in Jenkins shortly.
If you need to push but I forgot to add you, please mail me your
Bitbucket user name and I'll add you ASAP.
I hope that this is just a temporary workaround (famous last words, I
know ...).
Cheers
Lars
More information about the isabelle-dev
mailing list