ERROR: git repository not found at `https://github.com/JuliaRegistries/General.git`

Question

1. question: I have copied one of my julia project from local pc to a cluster using Linux. When I was trying to run instantiate in Pkg-REPL, ERROR: git repository not found at `https://github.com/JuliaRegistries/General.git occurred. And I have no idea. enter image description here
2. what I have checked: I have entered status in Pkg-REPL and it seems everything is well; and there is only one direction logs under ~/.julia enter image description here
3. so what caused the problem and how should I fix it? Thank you in advance!

Answer 1

I finally solve this problem by cloning from https://github.com/JuliaRegistries/General.git manually.

1. cd ~/.julila
2. mkdir registries and cd registries
3. git clone https://github.com/JuliaRegistries/General.git and get a new direction General
4. now I can instantiate without any error occurred!

I am not still clear why the error occurred when I clone this site automatically using instantiate, so this is still a question to be answered.

Answer 2

I'm not sure if these could be the causes, but:

• Can the server connect to GitHub? i.e., can you ping www.github.com? It is possible that a work-based server is hidden behind some firewall. Of course, quite odd to not allow outbound traffic.
• Also, on your server account, have you had your public key registered with GitHub? It's been a while since I've had to do this, but you may need to also set your username and e-mail address. An easy test would be to just try doing a git clone https://github.com/JuliaRegistries/General.git on the server and see if that is successful. If not, perhaps the error message that it gives will be helpful.