Branch new-types

[hakank]

I tried to compile the new-types branch since it's newer than the master branch and contains some very interesting examples. But running the program dependencies-release.sh fails with errors about submodules that are not public available: github.com:tgehr/ast.git and github.com:tgehr/util.git. Here's the errors:

Cloning into '/home/hakank/probabilistic_programming/psi/psi_new_types/psi/ast'...
Warning: Permanently added the RSA host key for IP address '140.82.114.3' to the list of known hosts.
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:tgehr/ast.git' into submodule path '/home/hakank/probabilistic_programming/psi/psi_new_types/psi/ast' failed
Failed to clone 'ast'. Retry scheduled
Cloning into '/home/hakank/probabilistic_programming/psi/psi_new_types/psi/util'...
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:tgehr/util.git' into submodule path '/home/hakank/probabilistic_programming/psi/psi_new_types/psi/util' failed
Failed to clone 'util'. Retry scheduled
Cloning into '/home/hakank/probabilistic_programming/psi/psi_new_types/psi/ast'...
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'git@github.com:tgehr/ast.git' into submodule path '/home/hakank/probabilistic_programming/psi/psi_new_types/psi/ast' failed
Failed to clone 'ast' a second time, aborting

Would it be possible to make these repos public available?

Best,

Hakan

[tgehr]

The repositories are publicly available, but .gitmodules was referring to them via ssh. I have changed the submodule paths to relative, so that they will be cloned using https if that is how you obtained the parent repository.

[hakank]

Thanks. I had to clone the repo again, but now it works.

I'm quite impressed with PSI and also really like that you have a huge number of examples to play with!