HomeSoftware Heritage

Don't force push on the master branch, which is protected

Description

Don't force push on the master branch, which is protected

Details

Provenance
olasdAuthored on Oct 17 2022, 12:18 PM
olasdPushed on Oct 17 2022, 12:20 PM
Parents
R263:1379ec21d7f7: Actually perform repository archival at the end of the migration
Branches
Unknown
Tags
Unknown