Skip to content

Conversation

@lucacome
Copy link
Contributor

@lucacome lucacome commented May 1, 2023

Proposed changes

Adds pre-commit and fixes issues.

@lucacome lucacome self-assigned this May 1, 2023
@lucacome lucacome requested a review from a team as a code owner May 1, 2023 21:26
@github-actions github-actions bot added chore Pull requests for routine tasks documentation Pull requests/issues for documentation labels May 1, 2023
@lucacome lucacome merged commit d551469 into main May 1, 2023
@lucacome lucacome deleted the chore/add-pre-commit branch May 1, 2023 21:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks documentation Pull requests/issues for documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants