A prohibition with a defined response
Contribution etiquette
Never create an issue, never create a PR. The rule then specifies what to do if the user asks anyway: write a line into the diff. The effect is that the instruction shows up in the change rather than in a GitHub action.
