Make patch helper more helpful #38409

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

Merged

ArthurZucker merged 20 commits into main from update-patch-helper

May 30, 2025

Merged

Make patch helper more helpful #38409

style

CircleCI Checks / setup_and_quality succeeded May 30, 2025 in 4m 29s

Workflow: setup_and_quality

View CircleCI Workflow

View more details on CircleCI Checks