Closed jayabrata97 closed 1 month ago
The given script create-dev-environment.sh requires Username for 'https://gitlab.lrz.de': The script should be updated with the GitHub version.
create-dev-environment.sh
Username for 'https://gitlab.lrz.de':
Same issue here.
The given script
create-dev-environment.sh
requiresUsername for 'https://gitlab.lrz.de':
The script should be updated with the GitHub version.