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

Add filter plugins for (selected) _info modules #550

Closed
wants to merge 6 commits into from

Conversation

felixfontein
Copy link
Contributor

SUMMARY

For #542 (see #542 (comment)).

ISSUE TYPE
  • New Plugin Pull Request
COMPONENT NAME

filters

@github-actions
Copy link

github-actions bot commented Dec 28, 2022

Docs Build 📝

This PR is closed and any previously published docsite has been unpublished.

@felixfontein felixfontein marked this pull request as ready for review December 29, 2022 21:47
@felixfontein felixfontein changed the title [WIP] Add filter plugins for (selected) _info modules Add filter plugins for (selected) _info modules Dec 29, 2022
@felixfontein felixfontein marked this pull request as draft December 30, 2022 16:09
@felixfontein
Copy link
Contributor Author

I want to split up this PR into one PR per new filter. I've started a common stuff PR in #553, once that's merged I can split this PR up.

@felixfontein
Copy link
Contributor Author

Split up into #554, #555, #556, #557, #558.

@felixfontein felixfontein deleted the filters branch December 30, 2022 19:56
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.

1 participant