[isabelle-dev] testboard directory missing

[Lawrence Paulson]

Now it *is* about testboard:

src/HOL: hg push_tb

pushing to ssh://paulson@isabelle-server.in.tum.de//p/home/isabelle-repository/repos/testboard
remote: abort: repository /p/home/isabelle-repository/repos/testboard not found!
abort: no suitable response from remote hg!

I added the /p but it didn’t help. I even logged in to lxbroy10. The directory is not there:

lxbroy10: ls -l /p/home/isabelle-repository/repos/testboard/*
ls: cannot access '/p/home/isabelle-repository/repos/testboard/*': No such file or directory

Larry