Skip to content

By decree, we shall use pre-commit.#4

Merged
elliotwutingfeng merged 1 commit intomainfrom
precommit
Oct 6, 2025
Merged

By decree, we shall use pre-commit.#4
elliotwutingfeng merged 1 commit intomainfrom
precommit

Conversation

@elliotwutingfeng
Copy link
Owner

All we have to decide is what to do with the time that is given us.

@elliotwutingfeng elliotwutingfeng merged commit 73f09d4 into main Oct 6, 2025
8 of 10 checks passed
@elliotwutingfeng elliotwutingfeng deleted the precommit branch October 6, 2025 10:34
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.

1 participant