[isabelle-dev] Permission denied
makarius at sketis.net
Mon Dec 10 15:28:46 CET 2012
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
>> Übertrage nach
>> 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:
> 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.
More information about the isabelle-dev