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.

Sign up for GitHub

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

Jump to bottom

Closes #18540: Track installed plugins in registry #18561

Merged

jeremystretch merged 1 commit into feature from 18540-registry-plugins

Feb 3, 2025

Member

jeremystretch commented Feb 3, 2025

Fixes: #18540

Populate registry['plugins']['installed'] with the name of each plugin
Replace all references to settings.PLUGINS with the registry key


          Closes #18540: Track installed plugins in registry

fd1dd70

jeremystretch requested a review from bctiemann

February 3, 2025 18:12

jeremystretch changed the base branch from main to feature

February 3, 2025 18:12

bctiemann approved these changes

View reviewed changes

jeremystretch merged commit 4384193 into feature

6 checks passed

jeremystretch deleted the 18540-registry-plugins branch

February 3, 2025 18:42

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet