Skip to content

ci: lint PR titles instead of individual commits#495

Merged
ryuwd merged 1 commit into
DIRACGrid:mainfrom
aldbr:split/1-pr-title-lint
Jul 14, 2026
Merged

ci: lint PR titles instead of individual commits#495
ryuwd merged 1 commit into
DIRACGrid:mainfrom
aldbr:split/1-pr-title-lint

Conversation

@aldbr

@aldbr aldbr commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

Part of #494 (stack 1/5).

PRs in this repo are squash-merged, so the PR title — not the individual commits — becomes the conventional commit that release-please parses on main. This PR moves the enforcement accordingly:

  • adds pr-title.yml: lints the PR title with the repo's existing commitlint config; re-runs automatically when the title is edited
  • removes the per-commit commitlint step from basic.yml; the push-time check stays as a backstop for commits landing on main

Commits inside PRs are free-form from here on.

Recommended follow-up (repo admin settings, not doable from a PR): set squash_merge_commit_title to PR_TITLE — currently a single-commit PR would use the commit message instead of the linted title.

🤖 Generated with Claude Code

@ryuwd ryuwd left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM!

@ryuwd
ryuwd merged commit 6d89033 into DIRACGrid:main Jul 14, 2026
16 checks passed
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.

Quality pass: library packaging, Job Monitor performance, state correctness, test coverage

2 participants