[isabelle-dev] Unable to push to Isabelle reop

Clemens Ballarin ballarin at in.tum.de
Thu Aug 16 08:30:21 CEST 2012

Macbroy20 works for me.  Thanks, Florian and Alex.


Quoting Alexander Krauss <krauss at in.tum.de>:

> Quoting Clemens Ballarin <ballarin at in.tum.de>:
> [...]
>> 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?
> This may be a side effect of Makarius' re-cloning.
> Maybe try another host as gateway? macbroy2 has a somewhat  
> non-standard setup. Do you get the same result when using, e.g.  
> macbroy20?
> Alex

More information about the isabelle-dev mailing list