-
-
Notifications
You must be signed in to change notification settings - Fork 267
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Marks Chaos Butler plugin as up or adoption #762
base: master
Are you sure you want to change the base?
Conversation
Please set the topic on the repository instead, that scales a lot better than this centrally controlled metadata file 😉 |
I would agree but I don't have access to the repository. There is more than 300 plugins with no developers referenced, I'd rather not open that many pull request. (Opened this one to focus attention on the situation) |
Fix jenkins-infra/repository-permissions-updater#2911 and we can do that 😉 |
This is awkward:
https://github.com/jenkinsci/chaos-butler-plugin/ has the label, but due to jenkinsci/chaos-butler-plugin@845d6b0 being unreleased, it's ineffective. |
I guess this is another good reason to have the label added directly on the update-center, no? |
Might be a case for https://github.com/jenkins-infra/update-center2/blob/master/resources/wiki-overrides.properties to also fix the broken GH link from https://plugins.jenkins.io/chaos-butler/ Alternatively I could try to rename the GH repo back and forth to create a redirect. 🤔 |
It's odd that the redirect is not already in place. I don't know the history of the renaming, was it from the hosting already? |
I propose to mark the Chaos Butler plugin as up for adoption, because:
cc @stephenc as last user active on the repository.