HomeSoftware Heritage

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

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

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

Commit No Longer Exists

This commit no longer exists in the repository.