[isabelle-dev] Permission denied

Johannes Hölzl hoelzl at in.tum.de
Tue Dec 11 10:59:32 CET 2012

Am Montag, den 10.12.2012, 16:39 +0100 schrieb Jasmin Blanchette:
> Am 10.12.2012 um 16:33 schrieb Makarius:
> > After the update these machines have very new Mercurial 2.4, so it could be a communication problem with your local Mercurial and the version that it runs via ssh.
> > 
> > How is the situation with lxbroy10 or simular (which can only be accessed locally).
> It looks like the issue is that we were kicked out of the "isabelle" group. On "macbroy24":
>     groups
> prints
>     tumuser
> for me (same for Johannes).
> But on "lxbroy10", I am correctly a member of the "isabelle" group, and pushing works. Thanks for the tip! :)
> Johannes is now gone to talk to the system administrators to ask them "was los ist".
> Jasmin

A administrator forgot to set the correct LDAP settings after he updated
the macbroys. Florian Bichmaier fixed it and using the macbroys should
work again since yesterday afternoon.

 - Johannes

More information about the isabelle-dev mailing list