Skip to content

Chore/post filter repo actions #2

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
Merged
loverdos merged 15 commits into from
Jan 23, 2026
Merged

Chore/post filter repo actions #2

loverdos merged 15 commits into from
Jan 23, 2026

Conversation

@loverdos
Copy link
Contributor

@loverdos loverdos commented Jan 21, 2026

Notable changes

  • provide a concise list of changes introduced in this PR

References

  • provide a list of tickets this PR resolves or references

Checklist

  • keep a changelog
  • write tests
  • create tickets for TODO: <> statements
  • create or update documentation

@loverdos loverdos mentioned this pull request Jan 22, 2026
Closed
7 tasks
@loverdos loverdos marked this pull request as ready for review January 22, 2026 10:17
@loverdos loverdos requested a review from a team January 22, 2026 10:18
aelesbao
aelesbao approved these changes Jan 22, 2026
View reviewed changes
kouks
kouks reviewed Jan 23, 2026
View reviewed changes
@loverdos loverdos merged commit 76025e5 into main Jan 23, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@kouks kouks kouks approved these changes

@aelesbao aelesbao aelesbao approved these changes

@davidrotari19 davidrotari19 davidrotari19 approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@loverdos @aelesbao @kouks @davidrotari19