Skip to content

Conversation

@Borda
Copy link
Collaborator

@Borda Borda commented Aug 15, 2024

Before submitting
  • Was this discussed/agreed via a Github issue? (no need for typos and docs improvements)
  • Did you read the contributor guideline, Pull Request section?
  • Did you make sure to update the docs?
  • Did you write any new necessary tests?

What does this PR do?

removing irrelevant configuration - likely artifacts after coly from main repo...

PR review

Anyone in the community is free to review the PR once the tests have passed.
If we didn't discuss your PR in GitHub issues there's a high chance it will not be merged.

Did you have fun?

Make sure you had fun coding 🙃

@Borda Borda marked this pull request as ready for review August 15, 2024 10:54
@Borda Borda merged commit a8f59c1 into main Aug 15, 2024
@Borda Borda deleted the lint/prune branch August 15, 2024 11:19
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.

1 participant