Skip to content

Update pre-commit#94

Merged
benoit9126 merged 2 commits intodevelopfrom
update-pre-commit
Jun 27, 2023
Merged

Update pre-commit#94
benoit9126 merged 2 commits intodevelopfrom
update-pre-commit

Conversation

@benoit9126
Copy link
Member

Add some ruff rules and pre-commit hooks

@benoit9126 benoit9126 added the enhancement New feature or request label Jun 23, 2023
@benoit9126 benoit9126 requested a review from Saelyos June 23, 2023 18:26
@benoit9126 benoit9126 self-assigned this Jun 23, 2023
@benoit9126 benoit9126 merged commit b604155 into develop Jun 27, 2023
@benoit9126 benoit9126 deleted the update-pre-commit branch June 27, 2023 07:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants