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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev