Skip to content

Migrating the generic_filter tool to tools-repository #353

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
Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Migrating the generic_filter tool to tools-repository #353

wants to merge 8 commits into from

Conversation

melpetera
Copy link
Member

FOR CONTRIBUTOR:

  • I have read the CONTRIBUTING.md document and this tool is appropriate for the tools-iuc repo.
  • License permits unrestricted use (educational + commercial)
  • This PR adds a new tool or tool collection
  • This PR updates an existing tool or tool collection
  • This PR does something else (explain below)

This PR is linked to the corresponding migration issue: #324

@hechth hechth linked an issue Jul 10, 2025 that may be closed by this pull request
[MIGRATION]: generic_filter #324
Open
12 tasks
@hechth
Copy link
Contributor

hechth commented Jul 16, 2025

@melpetera what is still missing for this PR?

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

Reviewers

No reviews

Assignees

No one assigned

Labels

in progress

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

[MIGRATION]: generic_filter

2 participants

@melpetera @hechth