Re: [isabelle-dev] Access problems to repositories and NFS

>> 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

Re: [isabelle-dev] Access problems to repositories and NFS

On 12/04/2017 14:29, Makarius wrote: On 11/04/17 09:34, Lars Hupel wrote: In order to keep going with development, I've created a temporary clone on Bitbucket: I'm in the process of inviting people to that clone so they can keep working. I'll also

Re: [isabelle-dev] Access problems to repositories and NFS

On 11/04/17 09:34, Lars Hupel wrote: > > In order to keep going with development, I've created a temporary clone > on Bitbucket: > > I'm in the process of inviting people to that clone so they can keep > working. I'll also update the URLs in Jenkins

Re: [isabelle-dev] Access problems to repositories and NFS

On 11/04/2017 16:17, Makarius wrote: On 11/04/17 09:34, Lars Hupel wrote: In order to keep going with development, I've created a temporary clone on Bitbucket: I hope that this is just a temporary workaround (famous last words, I know ...).

Re: [isabelle-dev] Access problems to repositories and NFS

On 11/04/17 09:34, Lars Hupel wrote: > > In order to keep going with development, I've created a temporary clone > on Bitbucket: > > I hope that this is just a temporary workaround (famous last words, I > know ...). Thanks for taking care of this. I

Re: [isabelle-dev] Access problems to repositories and NFS

> 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: