[isabelle-dev] Permission denied

[Jasmin Christian Blanchette]

Hi all,

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

Jasmin