[infra] GitHub Action to lint PR titles

[oliviertassinari]

Summary

Too often I see problems with the commit messages go into the main branch and hence in the changelog:

• Extra dots. No, there shouldn't be a .. Example: mui/mui-x@a62b88f
• [main tag] format done wrong. Example: mui/mui-x@565de78
• Apply Vale config to the title to make sure it fits with our rules, e.g. Webpack -> webpack

See the overall policy: https://www.notion.so/mui-org/GitHub-PRs-7112d03a6c4346168090b29a970c0154?pvs=4#258c9e963dc445348562a52a62052941

We could have a logic that, like https://github.com/mui/mui-public/blob/master/.github/workflows/check-if-pr-has-label.yml would ensure that there is no dot.

Examples

Kind of the opposite of mui/material-ui#44292.

Motivation

No response

Search keywords: -