pub fn github_english(language: &str) -> StringExpand description
The rule that everything landing on GitHub is English, whatever
[graph] language says and whatever language the task was written in.
A fixed rule, not a setting: GitHub is a public, worldwide surface, and
lang() (which governs prose for the operator) used to colour PR titles
and bodies too. It is appended after lang() so the exception is the
last word rather than a line a model has already weighed against
“write in Japanese”, and it is emitted for English too, because a task
written in another language can still pull a title out of an
English-configured seat. lang() itself is untouched: judges and advisors
share it and write nothing to GitHub.
Prompt-only: an agent that runs gh itself is trusted to follow it; magi
cannot enforce it.