Skip to content

Conversation

@retlehs
Copy link
Member

@retlehs retlehs commented Mar 5, 2022

@retlehs retlehs self-assigned this Mar 5, 2022
@retlehs retlehs added this to the 10.1.0 milestone Mar 5, 2022
@github-actions github-actions bot added build dependencies Pull requests that update a dependency file labels Mar 5, 2022
@retlehs retlehs marked this pull request as ready for review March 7, 2022 22:16
@retlehs retlehs merged commit 8b4031a into main Mar 7, 2022
@retlehs retlehs deleted the remove-linting branch March 7, 2022 22:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Disable linting by default

3 participants