chore: Remove unused deps #1231

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

Closed

christopherthielen wants to merge 1 commit into master from cthielen/remove-unused-deps

Closed

chore: Remove unused deps #1231

chore: Remove unused deps

Mergify / Summary failed Dec 24, 2025 in 0s

The current Mergify configuration is invalid

Extra inputs are not permitted @ root → pull_request_rules → item 0 → actions → merge → strict → smart
Extra inputs are not permitted @ root → pull_request_rules → item 1 → actions → merge → strict → smart

View more details on Mergify