Repo – Anyway to push an add-on ID change?

So one of my add-ons is named plugin.tvnz.ondemand.
A user pointed out this should actually be plugin.video.tvnz.ondemand

I already have quite a few users using it and my repo…

Was wondering if there is a way to push an addon ID change in the addons.xml file?