[isabelle-dev] Pushing to testboard fails

[Alexander Krauss]

> 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