[isabelle-dev] Permission denied
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":
> 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".
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.
More information about the isabelle-dev