repo rename and transfer: port the CLI half from 4a5d5d2 (#10) #3
Merged@ogirardot wants to merge
feat/10-repo-rename-transfer into mainMerged as
a97c085d5a4f.Checks
success
feat/10-repo-rename-transfer into maina97c085d5a4f.