hg push -f testboard
pushing to
ssh://[email protected]//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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
