New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: lint and add lint aciton #13

Draft

faddat wants to merge 2 commits into sagaxyz:main from faddat:faddat/lint

faddat commented May 21, 2024

lint

faddat added 2 commits

May 21, 2024 13:43


          bump everything

6bdb5b3


          lint

c6b9eed

faddat marked this pull request as draft

May 21, 2024 05:54

Contributor

luckychess commented Jul 29, 2024

Thanks for your contribution and sorry for the late response. The overall idea of your pull request looks great but could you please polish it a bit:

Let's limit this PR's scope to linter and discuss version updates in your second PR thread
Please pull the latest main and resolve conflicts
It will be better to apply linter to all branches

When everything is fixed, I see no issues why not to merge this PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet