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