[Done] Ensure that PR titles are meaningful, rather than treating them as a chore each time. The title should relate to the changes made and clearly mention what has been updated.

[YiweiShen]

/codex

[github-actions]

[WIP] Require PR titles to clearly describe the actual changes

If you want a non-WIP version:

Require PR titles to clearly describe the actual changes

[YiweiShen]

/codex PR names such as feat, fix, docs, styles, or chore should be used, and the title should be more meaningful. For example, a title like chore: apply changes for Issue is not very helpful.

[github-actions]

docs: clarify PR title rules to require meaningful change summaries

Use a type: summary format, for example:

• feat: add retry logic for GitHub API timeouts
• fix: prevent null title crash in PR event handling
• docs: document required PR title format

Avoid vague titles like:

• chore: apply changes for Issue