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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
