Skip to content

chore: Simplify PR linter#413

Merged
DaveSkender merged 1 commit intomainfrom
simplify-linter
Jan 4, 2025
Merged

chore: Simplify PR linter#413
DaveSkender merged 1 commit intomainfrom
simplify-linter

Conversation

@DaveSkender
Copy link
Member

No description provided.

Signed-off-by: Dave Skender <[email protected]>
@DaveSkender DaveSkender self-assigned this Jan 4, 2025
@DaveSkender DaveSkender enabled auto-merge (squash) January 4, 2025 05:30
@DaveSkender DaveSkender merged commit 09b0a4e into main Jan 4, 2025
20 checks passed
@DaveSkender DaveSkender deleted the simplify-linter branch January 4, 2025 05:30
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 5, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant