[infra] GitHub Action to lint PR titles - Githubissues

mui / mui-public

The public mono-repository of MUI (as an organization), see mui/mui-private for the opposite.

80 stars 16 forks source link

[infra] GitHub Action to lint PR titles #239

Open oliviertassinari opened 2 weeks ago

oliviertassinari commented 2 weeks ago

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: https://github.com/mui/mui-x/commit/a62b88f206fe8a4c9b56403c2eccfe60cc2877af
[ ] [main tag] format done wrong. Example: https://github.com/mui/mui-x/commit/565de7878f0621f4617b40cf471f4b7e4263093e
[ ] 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 https://github.com/mui/material-ui/pull/44292.

Motivation

No response

Search keywords: -