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

Make labeller remove outdated labels #16257

Merged
merged 1 commit into from Apr 29, 2024

Conversation

krassowski
Copy link
Member

References

Fixes #16256

Code changes

+  sync-labels: true

User-facing changes

None

Backwards-incompatible changes

None

@krassowski krassowski added this to the 4.2.0 milestone Apr 26, 2024
Copy link

Thanks for making a pull request to jupyterlab!
To try out this branch on binder, follow this link: Binder

@krassowski krassowski changed the title Set sync-labels to true for labeller Make labeller remove outdated labels Apr 26, 2024
Copy link
Member

@fcollonval fcollonval left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @krassowski

@fcollonval fcollonval merged commit 9b75722 into jupyterlab:main Apr 29, 2024
83 of 85 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Labeller no longer removes outdated labels from PRs
2 participants