[isabelle-dev] Permission denied

[Makarius]

On Mon, 10 Dec 2012, Makarius wrote:

> 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).

See also this old thread:
http://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.de/msg03001.html


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

There is some fluctuation again.  I think the admins are re-installing 
several of these machines right now.


 	Makarius