docs: require lowercase pr titles #15

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

maehwasoo merged 1 commit into main from docs/pr-title-lowercase

Jan 16, 2026

Owner

maehwasoo commented Jan 16, 2026 •

edited

Loading

What

Require PR title <title> to start with a lowercase letter

Why

Keep PR titles consistent with the repo convention
Reduce review churn around title casing

How

Update AGENTS.md PR title convention
Testing: Not run (docs-only change)


          docs(docs): require lowercase pr titles

27b0356

maehwasoo self-assigned this

maehwasoo merged commit d218185 into main

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet