Skip to content

Migrate to lefthook, remove lint environment#133

Merged
pavelzw merged 7 commits intomainfrom
lefthook
Mar 9, 2026
Merged

Migrate to lefthook, remove lint environment#133
pavelzw merged 7 commits intomainfrom
lefthook

Conversation

@pavelzw
Copy link
Member

@pavelzw pavelzw commented Mar 9, 2026

No description provided.

@pavelzw pavelzw requested review from borchero and ytausch as code owners March 9, 2026 13:29
@pavelzw pavelzw changed the title Migrate to lefthook Migrate to lefthook, remove lint environment Mar 9, 2026
@pavelzw pavelzw merged commit d898d4b into main Mar 9, 2026
5 checks passed
@pavelzw pavelzw deleted the lefthook branch March 9, 2026 13:50
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