Skip to content

Conversation

@nejch
Copy link
Member

@nejch nejch commented Jun 2, 2021

No description provided.

@nejch nejch requested a review from JohnVillalovos June 2, 2021 18:30
@nejch nejch force-pushed the chore/missing-pre-commit branch from 718b8a4 to bc6e6cd Compare June 2, 2021 20:21
@JohnVillalovos JohnVillalovos merged commit 85bbd1a into master Jun 2, 2021
@JohnVillalovos JohnVillalovos deleted the chore/missing-pre-commit branch June 2, 2021 21:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants