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/[email protected]/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_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
