### CI: the maintainers' product names are checked on every pull request

- **CI:** the public-name check applies the maintainers' product names, held in the script, on every change, a pull
  request included (`--maintainer-products-only`); the private list still runs on the push to main. CONTRIBUTING
  states both.

