No repository rename #190

closed cmc opened this on 2026-09-07 21:59 UTC · control

Discussion

cmc 2026-09-07 21:59 UTC

repo transfer moves a repository to another owner and org rename exists, but a repository keeps the name it was created with. Wants repo rename <owner/name> <new-name>, moving the directory and updating the row in one transaction, with the same "clone URLs change" note transfer prints. Parity row on the wiki.

Ref #185

closed by commit c000478e03 by cmc: control, store, wiki: repo rename

2026-09-08 02:35 UTC