True. I should've been more clear: file a merge request as in click
the 'File request' link on the page of the package you're renaming.

-- 
David Phillips
GPG Key 0x7BF3D17D0884BF5B
Fingerprint 2426 235A 7831 AA2F 56AF  4BC0 7BF3 D17D 0884 BF5B

Reply via email to