How Do I Rename My Plugin?
Answered
I named my plugin badly and want to rename it.
However, I don't want to delete the existing plugin on https://plugins.jetbrains.com and upload a new one as that would lose all the history.
Is it possible to rename an already published plugin?
Please sign in to leave a comment.
You can change it by updating the <name> element in your plugin.xml file and bump the version. Keep in mind, that <id> should not be modified.
How do you access this plugin.xml file? I've uploaded a .jar file and can't see any link to this file anywhere in the plugin repository.
You'll need to upload a new version with updated <name> in your plugin.xml for changes to take effect on the repository.