Renaming the plugin and repo

51 views
Skip to first unread message

Vladimir Belousov

unread,
Aug 23, 2023, 12:56:05 PM8/23/23
to Jenkins Developers
Hi,
We are working on plugin https://plugins.jenkins.io/redhat-codeready-dependency-analysis/

For some reason, we want to rename the plugin and change the repository name where it is hosted

Will it work?
What are the possible side effects?

Thanks!

Alexander Brandes

unread,
Aug 23, 2023, 1:07:18 PM8/23/23
to jenkin...@googlegroups.com
You can change the name of the GitHub repository and friendly name (<name> in the pom.xml) for sure. GitHub handles redirects. You may change them in documentation sources, such as the README.md too, if applicable.
Renaming the GitHub repository is achieved by opening a pull request, modifying your permission file at the repository permission updater (https://github.com/jenkins-infra/repository-permissions-updater/blob/master/permissions/plugin-redhat-codeready-dependency-analysis.yml).

Changing the plugin ID is not possible at this state anymore.

Best regards,
Alex

--
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 jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/0ccc74b5-d410-4ce3-a76a-e684f1193f13n%40googlegroups.com.

Gavin Mogan

unread,
Aug 23, 2023, 1:56:57 PM8/23/23
to jenkin...@googlegroups.com
just to be clear, changing the plugin id makes it a new plugin, which is doable, but you'll lose all upgrade paths.
Its probably better if you are going to change everything, to just make a new plugin and depreciate the old one, it'll be a lot less work.

Vladimir Belousov

unread,
Aug 23, 2023, 2:00:47 PM8/23/23
to jenkin...@googlegroups.com
Agree
We are also thinking about this option. 
If we will the ready code, will it be possible to publish the plugin in 2-3 working days?

You received this message because you are subscribed to a topic in the Google Groups "Jenkins Developers" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/jenkinsci-dev/kzURQHNJUS8/unsubscribe.
To unsubscribe from this group and all its topics, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_Duv_CZ7ueP3qw%2Bp5gKP6_ByBujE2DNpJDZoa8i2j52L6Xg%40mail.gmail.com.

Gavin Mogan

unread,
Aug 23, 2023, 4:17:27 PM8/23/23
to Jenkins Developers
I'm sure it everything is in order it can be done pretty quickly, but since everyone is volunteering there's no guarantees 

Reply all
Reply to author
Forward
0 new messages