Ci Lessons

A maintainer-side workflow is supposed to react to a label on a contributor's PR. The contributor is

A repository automation merges `main` into the branches of open same-repo PRs, so contributors do not