Skip to content

Conversation

@fcollonval
Copy link
Member

References

Fixes #13669

Code changes

Rename @jupyterlab/completer-extension:tracker to @jupyterlab/completer-extension:manager

I did not update the migration note as this was the name in 3.6.x

User-facing changes

None

Backwards-incompatible changes

None

@jupyterlab-probot
Copy link

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

Copy link
Member

@krassowski krassowski left a comment

Choose a reason for hiding this comment

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

Thank you!

@fcollonval fcollonval merged commit 013b6ab into master Feb 3, 2023
@fcollonval fcollonval deleted the 13669-completer-manager-plugin-is-named-tracker-but-probably-should-be-manager branch February 3, 2023 08:49
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 4, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Completer manager plugin is named :tracker but probably should be :manager

3 participants