HomeSoftware Heritage

Move local checkouts to a separate directory

Description

Move local checkouts to a separate directory

This allows removing them without poking at other things

Details

Provenance
olasdAuthored on Dec 9 2022, 1:55 PM
olasdPushed on Dec 16 2022, 7:15 PM
Parents
R263:484079022aa9: Add more expected retries to gitlab API requests
Branches
Unknown
Tags
Unknown