Skip to content

Conversation

lucacome
Copy link
Contributor

@lucacome lucacome commented Aug 2, 2023

Proposed changes

Adds pre-commit and fixes existing issues

@lucacome lucacome requested a review from a team as a code owner August 2, 2023 19:38
@lucacome lucacome self-assigned this Aug 2, 2023
@github-actions github-actions bot added bug An issue reporting a potential bug chore Pull requests for routine tasks documentation Pull requests/issues for documentation labels Aug 2, 2023
@lucacome lucacome force-pushed the chore/add-pre-commit branch from 4e35a79 to 55fe6e7 Compare August 2, 2023 22:38
@lucacome lucacome removed the bug An issue reporting a potential bug label Aug 3, 2023
@lucacome lucacome merged commit 16be5d5 into main Aug 3, 2023
@lucacome lucacome deleted the chore/add-pre-commit branch August 3, 2023 16:29
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.

4 participants