I encountered an error when running the "setup_env.sh" script located in "diane/src/sanity_check/". Specifically, the "git clone" command that attempts to clone a repository from "git.seclab.cs.ucsb.edu" is failing with the following error message:
(base) ➜ sanity_check git clone git@git.seclab.cs.ucsb.edu:peperunas/zeppolina.git
Cloning into 'zeppolina'...
ssh: Could not resolve hostname git.seclab.cs.ucsb.edu: Name or service not known
fatal: Could not read from remote repository.
Please make sure you have the correct access rights and the repository exists.
It seems that the hostname cannot be resolved, which is preventing the cloning process from completing successfully. Can anyone provide guidance on how to resolve this issue? Thank you in advance for your help!
I encountered an error when running the "setup_env.sh" script located in "diane/src/sanity_check/". Specifically, the "git clone" command that attempts to clone a repository from "git.seclab.cs.ucsb.edu" is failing with the following error message:
It seems that the hostname cannot be resolved, which is preventing the cloning process from completing successfully. Can anyone provide guidance on how to resolve this issue? Thank you in advance for your help!