HomeSoftware Heritage

Only remove GitLab merge request branches once

Description

Only remove GitLab merge request branches once

Details

Provenance
olasdAuthored on Dec 13 2022, 11:35 AM
olasdPushed on Dec 16 2022, 7:15 PM
Parents
R263:f6717b8a6e53: Add a variable to avoid writing out completed mappings
Branches
Unknown
Tags
Unknown