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 > On 23. Aug 2023, at 18:51, Vladimir Belousov <vbelo...@redhat.com> wrote: > > 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! > > -- > 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-dev+unsubscr...@googlegroups.com > <mailto:jenkinsci-dev+unsubscr...@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 > > <https://groups.google.com/d/msgid/jenkinsci-dev/0ccc74b5-d410-4ce3-a76a-e684f1193f13n%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/2597D663-338D-4DAD-A996-42325E315D30%40notmyfault.dev.
