Skip to content

chore: introduce lint for unnecessary else#4135

Merged
benfdking merged 1 commit intomainfrom
unecessary_else
Apr 14, 2025
Merged

chore: introduce lint for unnecessary else#4135
benfdking merged 1 commit intomainfrom
unecessary_else

Conversation

@benfdking
Copy link
Copy Markdown
Contributor

No description provided.

@benfdking benfdking mentioned this pull request Apr 14, 2025
@benfdking benfdking enabled auto-merge (squash) April 14, 2025 16:23
@benfdking benfdking disabled auto-merge April 14, 2025 16:26
@benfdking benfdking enabled auto-merge (squash) April 14, 2025 16:30
@benfdking benfdking merged commit 73480ba into main Apr 14, 2025
21 of 22 checks passed
@benfdking benfdking deleted the unecessary_else branch April 14, 2025 16:33
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.

2 participants