HomeSoftware Heritage

Use repo_name instead of display-name to define repository paths

Description

Use repo_name instead of display-name to define repository paths

Details

Provenance
olasdAuthored on Mar 27 2020, 4:47 PM
olasdPushed on Mar 28 2020, 12:56 PM
Parents
rCJSWH6c517c3b611f: Move docker-image variable to docker_image
Branches
Unknown
Tags
Unknown