Skip to content
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.

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

feat: enable revive linter (backport #2232) #2650

Merged
merged 3 commits into from Mar 18, 2024
Merged

feat: enable revive linter (backport #2232) #2650

merged 3 commits into from Mar 18, 2024

Conversation

melekes
Copy link
Contributor

@melekes melekes commented Mar 18, 2024

Manual backport of #2232

faddat and others added 2 commits March 18, 2024 12:38
This PR covers most of the linters mentioned in #2274.

---

- [x] Tests written/updated
- [ ] Changelog entry added in `.changelog` (we use
[unclog](https://github.com/informalsystems/unclog) to manage our
changelog)
- [ ] Updated relevant documentation (`docs/` or `spec/`) and code
comments
- [x] Title follows the [Conventional
Commits](https://www.conventionalcommits.org/en/v1.0.0/) spec

---------

Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com>
Co-authored-by: Jacob Gadikian <faddat@Jacobs-MacBook-Pro.local>
@melekes melekes requested review from a team as code owners March 18, 2024 07:19
@melekes melekes merged commit c783a65 into v1.x Mar 18, 2024
25 checks passed
@melekes melekes deleted the backport-2232 branch March 18, 2024 13:31
@melekes
Copy link
Contributor Author

melekes commented Mar 18, 2024

This should not have been backported (as v1.x branch is treated as a backport branch). But it's too late now unless we want to revert the commit.

@melekes
Copy link
Contributor Author

melekes commented Mar 18, 2024

@sergio-mena should I revert the commit? It's mostly style changes, but still it's huge.

@sergio-mena
Copy link
Contributor

sergio-mena commented Mar 18, 2024

@melekes I think it's fine (no need to revert), I took a look and it's all linting... no real code changes

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.

None yet

4 participants