github actions needs to check pull request title #531
Description
Since we have this repo set up to only do squash, it is easy to mess up the commit message subject line (I just did this twice in a row).
The pre-commit bot will let us know there is something wrong with the actual commit message and we can force-push to fix it. But GitHub doesn't automatically update the pull request title. When you click the Squash and merge button, it makes a new commit message with the subject based on the PR title rather than the subject of the first commit.
To prevent this in the future, it would be nice if we could have a bot run the same check on the pull request title to make sure it is OK before we merge it.