[isabelle-dev] Permission denied

[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