[isabelle-dev] Permission denied

[Makarius]

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.


 	Makarius