Looking at https://plugins.jenkins.io/sauce-ondemand and https://wiki.jenkins-ci.org/display/JENKINS/Sauce+OnDemand+Plugin I would really like to change the name of the plugin. I'm not picky about the artifact id, i know the side effects of changing that, but I would like to change the name.
Is it as simple as renaming the wiki page, and updating the <url> in the pom.xml file? I vaguely remember something about items in the update center not showing up if the wiki page didn't match the plugin page but I can't find what it needed to actually match. According to https://groups.google.com/d/msg/jenkinsci-dev/oEHEjKo08yA/ShbomKaaA7QJ i'm pretty sure thats it, but I wanted to double check before I changed the url and did a release since I'm pretty sure wiki urls need to match wiki titles. Gavin -- 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/1f9ed10d-da18-420b-b650-5ae1306cdff0%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
