Hi there!
I was trying to reinstall salvus. I got to the command (git submodule update --init --recursive) and it asked me to enter a username and password for gitlab. I do have an exist account with them (I still can log in on their website). I have no idea why it doesn't allow me to install it.
Sincerely,
Glory
bungbung-2:~ bung$ source activate env_salvus
(env_salvus) bungbung-2:env_salvus bung$ cd salvus
(env_salvus) bungbung-2:salvus bung$ git submodule update --init --recursive
Cloning into '/Users/bung/anaconda3/envs/env_salvus/salvus/salvus_wave'...
Username for 'https://gitlab.com': Phuripan
Password for 'https://Phuripan @gitlab.com':
remote: HTTP Basic: Access denied
fatal: Authentication failed for 'https://gitlab.com/Salvus/salvus_wave.git/'
fatal: clone of 'https://gitlab.com/Salvus/salvus_wave.git' into submodule path '/Users/bung/anaconda3/envs/env_salvus/salvus/salvus_wave' failed
Failed to clone 'salvus_wave'. Retry scheduled
Cloning into '/Users/bung/anaconda3/envs/env_salvus/salvus/salvus_wave'...
Username for 'https://gitlab.com': Phuripan
Password for 'https://Phuripan @gitlab.com':
remote: HTTP Basic: Access denied
fatal: Authentication failed for 'https://gitlab.com/Salvus/salvus_wave.git/'
fatal: clone of 'https://gitlab.com/Salvus/salvus_wave.git' into submodule path '/Users/bung/anaconda3/envs/env_salvus/salvus/salvus_wave' failed
Failed to clone 'salvus_wave' a second time, aborting
(env_salvus) bungbung-2:salvus bung$
Hi Glory,
have a look at this response which explains our plans: https://groups.google.com/d/msg/salvus/YaPQBBuMZ2E/hl8pAgF2AgAJ
Sorry for any temporary inconvenience.
Cheers!
Lion
--
You received this message because you are subscribed to the Google Groups "Salvus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to salvus+un...@googlegroups.com.
To post to this group, send email to sal...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/salvus/71af3ca2-ad8d-413a-bd4f-f0872c3c00e6%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.