[isabelle-dev] Permission denied

Makarius makarius at sketis.net
Mon Dec 10 14:51:20 CET 2012

On Mon, 10 Dec 2012, Jasmin Christian Blanchette wrote:

> I'm trying to push changes to the Isabelle repository and got the following error:
>    Übertrage nach ssh://macbroy21.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
>    Suche nach Änderungen
>    Entfernt: Abbruch: Kann Projektarchiv /home/isabelle-repository/repos/isabelle nicht sperren: Permission denied
>    Abbruch: unexpected response: leere Zeichenkette
> I don't know if this has anything to do with it, but sniffing around on the server reveals some recent changes:
>    drwxrwsr-x  5 wenzelm isabelle 4096 10. Dez 10:47 .hg
> My last successful push was a few minutes before that (about 10:30).

At 10:47 I merely made a pull to see what is new today.

Later the several macbroy2[0-9] machines were in maintenance mode, now 
they are back again.

I've just made a push directly from macbroy21, and it worked for me. If 
there is something messed up with the permissions, it won't work for you. 
Let's see what happens.


More information about the isabelle-dev mailing list