RE: QT4CG-008-03, GitHub PR links

Hi folks,

It turns out that a workflow running for a PR doesn’t have access to the
credentials necessary to generate a comment using one of the
off-the-shell actions that can do this. PRs from forks have to be
considered untrustworthy.

I can probably adapt the technique that I’m using to publish drafts of
the PRs so that it uses the GitHub API to create the comment, but that’s
more work than I want to take on this afternoon.

I just added the comments by hand. Eventually, I’ll get tired of doing
that and tinkering with the GitHub API to automate it will become an
attractive distraction.

But for the time being, I’m not going to persue this further. I’ll just
update them by hand.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica