[isabelle-dev] Permission denied

Jasmin Blanchette jasmin.blanchette at gmail.com
Mon Dec 10 16:39:34 CET 2012

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".


More information about the isabelle-dev mailing list