[isabelle-dev] Unable to push to Isabelle reop

[Florian Haftmann]

Hi Clemens,

> clemens-ballarins-macbook-air:IsarRef ballarin$ hg push
> Password:
> remote: Not trusting file
> /home/isabelle-repository/repos/isabelle/.hg/hgrc from untrusted user
> wenzelm, group isabelle
> pushing to
> ssh://ballarin@macbroy2.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
> 
> searching for changes
> remote: Not trusting file
> /mnt/nfsbroy/home/isabelle-repository/repos/isabelle/.hg/hgrc from
> untrusted user wenzelm, group isabelle
> remote: abort: could not lock repository
> /home/isabelle-repository/repos/isabelle: Permission denied
> abort: unexpected response: empty string
> 
> I wonder whether this is related to the recently 'broken' repository, or
> are my permissions degrading?

What about macbroy20 instead?  AFAIR macbroy2 has always been an corpus
separatum wrt. users, mounts etc.

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120816/f4aee7c6/attachment.sig>