[isabelle-dev] Pushing to testboard fails

[Lars Noschinski]

Hi,

I just tried pushing some commit to the testboard (via

ssh://noschinl@lxbroy10.informatik.tu-muenchen.de//home/isabelle-repository/repos/testboard

) and it failed with:

hg push -f testboard
pushing to 
ssh://noschinl@lxbroy10.informatik.tu-muenchen.de//home/isabelle-repository/repos/testboard
searching for changes
remote: abort: could not lock repository 
/home/isabelle-repository/repos/testboard: Permission denied
abort: unexpected response: empty string

Is this still the right URL? Or is something broken on the server side?

   -- Lars