Skip to content

Bump pre-commit#811

Merged
jeohist merged 1 commit intodevelopfrom
bump_precommit
Nov 15, 2024
Merged

Bump pre-commit#811
jeohist merged 1 commit intodevelopfrom
bump_precommit

Conversation

@jeohist
Copy link
Copy Markdown
Contributor

@jeohist jeohist commented Oct 1, 2024

Bump pre-commit and run it (and resolve errors).

@jeohist jeohist force-pushed the bump_precommit branch 7 times, most recently from e7855a0 to 56a9199 Compare November 15, 2024 10:34
Copy link
Copy Markdown
Contributor

@jpastoor jpastoor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jeohist jeohist merged commit 9bb413c into develop Nov 15, 2024
@jeohist jeohist deleted the bump_precommit branch November 15, 2024 12:26
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