Skip to content
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

Archive the azure-dev-spaces-plugin repository #3710

Closed
MarkEWaite opened this issue Aug 9, 2023 · 2 comments
Closed

Archive the azure-dev-spaces-plugin repository #3710

MarkEWaite opened this issue Aug 9, 2023 · 2 comments
Assignees
Labels
github-permissions Request for GitHub permissiosn

Comments

@MarkEWaite
Copy link

GitHub repositories

https://plugins.jenkins.io/azure-dev-spaces/ is the repository of a service that was discontinued in 2021. jenkins-infra/update-center2#732 suspends distribution of the plugin. Per the documentation we should also make the repository read-only.

GitHub users to have permission

@MarkEWaite does not need permission, but this field needs to have a value.

Permission level

Read

Justification

More details are available in JENKINS-71776

@MarkEWaite MarkEWaite added triage Incoming issues that need review github-permissions Request for GitHub permissiosn labels Aug 9, 2023
@MarkEWaite
Copy link
Author

It would be nice if the "adopt this plugin" topic were removed from the repository before it is archived.

@NotMyFault NotMyFault removed the triage Incoming issues that need review label Aug 9, 2023
@NotMyFault NotMyFault self-assigned this Aug 9, 2023
@NotMyFault
Copy link
Member

Label removed & repository archived. Just need a @jenkins-infra/jira-admins to archive the azure-dev-spaces-plugin component.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
github-permissions Request for GitHub permissiosn
Projects
None yet
Development

No branches or pull requests

3 participants