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.

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

Use Ruff pygrep rules #3923

Merged
merged 2 commits into from
Sep 1, 2024
Merged

Use Ruff pygrep rules #3923

merged 2 commits into from
Sep 1, 2024

Conversation

JasonGrace2282
Copy link
Member

Swap out the pre-commit pygrep rules with the faster ruff version.

@JasonGrace2282 JasonGrace2282 added enhancement Additions and improvements in general infrastructure Anything related to our infrastructure labels Sep 1, 2024
@JasonGrace2282 JasonGrace2282 added this to the v0.20.0 milestone Sep 1, 2024
@JasonGrace2282 JasonGrace2282 mentioned this pull request Sep 1, 2024
Open
behackl
behackl approved these changes Sep 1, 2024
View reviewed changes
Copy link
Member

@behackl behackl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@behackl behackl merged commit 74f79a4 into ManimCommunity:main Sep 1, 2024
18 checks passed
@JasonGrace2282 JasonGrace2282 deleted the pygrep branch September 1, 2024 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@behackl behackl behackl approved these changes

@Viicos Viicos Awaiting requested review from Viicos

Assignees
No one assigned
Labels
enhancement Additions and improvements in general infrastructure Anything related to our infrastructure
Projects
Dev Board
Status: ✅ Done
Milestone
v0.20.0
Development

Successfully merging this pull request may close these issues.
2 participants
@JasonGrace2282 @behackl