[isabelle-dev] Access problems to repositories and NFS

Makarius makarius at sketis.net
Wed Apr 12 14:29:42 CEST 2017


On 11/04/17 09:34, Lars Hupel wrote:
> 
> 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 ...).

lxbroy10 is back to normal, see the proof
http://isabelle.in.tum.de/repos/isabelle/rev/f3cd78ba687c


	Makarius





More information about the isabelle-dev mailing list