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

Rename *Filter to *Matcher #115

Merged
merged 4 commits into from
Mar 21, 2024
Merged

Rename *Filter to *Matcher #115

merged 4 commits into from
Mar 21, 2024

Conversation

rabuu
Copy link
Contributor

@rabuu rabuu commented Mar 21, 2024

Hi,

I closed my initial PR #114 by accident. This is a new attempt. :)
I just renamed a lot of types as proposed in #91 and aligned the comments and a few variable names.

@GlenDC
Copy link
Member

GlenDC commented Mar 21, 2024

Thanks a lot for your effort and contribution @rabuu ! It looks amazing. Love it.
Great job!

@GlenDC GlenDC merged commit 8ec3fbd into plabayo:main Mar 21, 2024
17 checks passed
@rabuu rabuu deleted the filter-to-matcher branch March 21, 2024 22:11
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.

None yet

2 participants