[isabelle-dev] Permission denied

[Johannes Hölzl]

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