The trial showed that the web address of a run on the instance holds the id of
the run, not its number, so the link in the comment pointed to another run.
Refs #201
Refs #204
Task: MIL-013#5
The trial on the instance showed that gitea.event_name is workflow_call inside
a called workflow, so the step that comments on the pull request was skipped.
The pull request number, its author and the base ref are available there, and
the step now runs when the number is set.
Refs #201
Refs #204
Task: MIL-013#5
tools/english_comments_report.py keeps one comment on the pull request that
mentions the author, updates it on a re-run and marks it resolved when the
check passes. english-comments.yml runs the check on the full history, tells
the author even when the check fails, and then fails the run. A script that no
release holds yet no longer counts as missing from the default tools-ref.
Refs #201
Refs #202
Task: MIL-013#5
Task: MIL-013#6