Skip to content

chore: add PR title linter#181

Merged
wemeetagain merged 1 commit intomainfrom
cayman/add-pr-linter
Jan 20, 2026
Merged

chore: add PR title linter#181
wemeetagain merged 1 commit intomainfrom
cayman/add-pr-linter

Conversation

@wemeetagain
Copy link
Copy Markdown
Member

@wemeetagain wemeetagain commented Jan 19, 2026

@wemeetagain wemeetagain requested a review from a team as a code owner January 19, 2026 21:51
@gemini-code-assist
Copy link
Copy Markdown
Contributor

Note

Gemini is unable to generate a summary for this pull request due to the file types involved not being currently supported.

@wemeetagain wemeetagain merged commit 50ba26c into main Jan 20, 2026
8 checks passed
twoeths pushed a commit that referenced this pull request Mar 2, 2026
- Basic workflow to lint the PR title to enforce conventional commit
titles
- Copied from lodestar repo
- Resolves #172
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.

Add PR title linter in CI

2 participants