HomeSoftware Heritage

deploy.sh: Handle origin url changes for private data repository

Description

deploy.sh: Handle origin url changes for private data repository

This also cleans up indentation

Details

Provenance
ardumontAuthored on Oct 19 2022, 12:14 PM
olasdPushed on Jan 7 2023, 12:14 AM
Parents
rSPSITEfa6f8fcdd30a: Puppetfile: Update repository with migrated gitlab urls
Branches
Unknown
Tags
Unknown