Our policy is to squash commits in pull requests, and by default the newly created commit takes the pull request title. Instead of linting the commit messages, we should lint the pull request title.