On Monday, April 4, 2022 at 2:37:17 PM UTC-6 nowak wrote:
I'm only wondering if I would be allowed to change plugin id or name in > such case? Description is easy to update by changing the contents of the src/resources/main/index.jelly file. Can be done at any time. I believe that name change is allowed and relatively low impact by changing the <name></name> in the pom.xml. Others may be able to give more guidance on name changing. Changing the plugin ID is *strongly discouraged*. The plugin ID is used to identify upgrades. When you change the plugin ID, you disconnect from your existing users. They won't be notified of new releases of the new plugin ID because they haven't installed it yet. They will need to remove the previous plugin with the original plugin ID and install the plugin with the new plugin ID. It is rarely valuable enough to users to change the plugin id. There are several examples of poorly chosen plugin IDs that are kept unchanged so that users are not disrupted. The TestNG plugin (as one example) uses the id 'testng-plugin-plugin'. Yes, that's redundant. No, we won't change it because that will disrupt users. Mark Waite -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/5dfcac9b-455f-44d4-b800-cc884ab71853n%40googlegroups.com.
