Skip to content

Make more plugins optionally built#915

Open
sdobbs wants to merge 2 commits into
masterfrom
sdobbs_plugin_sweep_mar2025
Open

Make more plugins optionally built#915
sdobbs wants to merge 2 commits into
masterfrom
sdobbs_plugin_sweep_mar2025

Conversation

@sdobbs

@sdobbs sdobbs commented Mar 26, 2025

Copy link
Copy Markdown
Contributor

Also move older unused plugins to a "retired" folder, so that we don't lose their history

I tried to implement the discussion in issue #843

Maybe the PR can be used to get analyzers to confirm these changes.

Also move older unused plugins to a "retired" folder, so that we don't lose
their history
@sdobbs

sdobbs commented Mar 26, 2025

Copy link
Copy Markdown
Contributor Author

the tests are failing since this PR removes some of the plugins used for these tests... ;_;

@nsjarvis

nsjarvis commented Mar 26, 2025 via email

Copy link
Copy Markdown
Contributor

@sdobbs

sdobbs commented Mar 26, 2025

Copy link
Copy Markdown
Contributor Author

Not a problem - done!

@gluex

gluex commented Mar 27, 2025

Copy link
Copy Markdown

@sdobbs

sdobbs commented Apr 10, 2026

Copy link
Copy Markdown
Contributor Author

Maybe we should think about what to do with this PR...

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants