hg push -f testboard
pushing to
ssh://nosch...@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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev