Skip to content
This repository was archived by the owner on Oct 20, 2022. It is now read-only.

Conversation

@ehmicky
Copy link
Contributor

@ehmicky ehmicky commented Jun 2, 2021

This improves linting.

@ehmicky ehmicky added the type: chore work needed to keep the product and development running smoothly label Jun 2, 2021
@ehmicky ehmicky requested a review from erezrokah June 2, 2021 15:48
@ehmicky ehmicky self-assigned this Jun 2, 2021
@ehmicky ehmicky merged commit 76aa1ed into main Jun 2, 2021
@ehmicky ehmicky deleted the chore/linting branch June 2, 2021 16:16
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

type: chore work needed to keep the product and development running smoothly

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants