HomeSoftware Heritage

Actually perform repository archival at the end of the migration

Description

Actually perform repository archival at the end of the migration

Details

Provenance
olasdAuthored on Oct 17 2022, 12:16 PM
olasdPushed on Oct 17 2022, 12:20 PM
Parents
R263:4f76d1d77b62: Improve the regexp for list headers again
Branches
Unknown
Tags
Unknown