Re: [PATCH 1/2] ci(check-whitespace): stop requiring a read/write token

"Johannes Schindelin via GitGitGadget" [off-list ref]
writes:

However, the `check-whitespace` workflow threw a wrench into this plan:
it _requires_ write access (because it wants to add a PR comment in case
of a whitespace issue).

OK.