Hi,
I just tried pushing some commit to the testboard (via
ssh://[email protected]//home/isabelle-repository/repos/testboard
) and it failed with:
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
Is this still the right URL? Or is something broken on the server side?
-- Lars
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
