[isabelle-dev] Pushing to testboard fails

Alexander Krauss krauss at in.tum.de
Sun Jan 13 19:59:11 CET 2013


> 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

It seems the write permissions for group isabelle got lost. No idea when 
this happened.

Now it seems to work again.

Alex




More information about the isabelle-dev mailing list