Support to post comments to a pull request in the GitHub Action

[yu-iskw]

Overview

GitHub allows us to post comments with suggestions to a pull request. As far as I am concerned, the current implementation of the GitHub Action scans all files no matter what file we change. It would be great to post comments with suggestions only to changed files using the Action.

https://docs.github.com/en/rest/pulls/comments?apiVersion=2022-11-28#create-a-review-comment-for-a-pull-request

Expected behavior

We can configure the mode to scan all files or to post comments with suggestions in the Action. By doing so, we can improve typos more easily.

[epage]

There are two parts to this that I want to better understand their relationship

• don't scan all
• post comment

Why do you see those as related?

Also, like #778, we should have reporting and we have an idea for improving reporting with sarif.

[epage]

With #594 closed, the way I see this being done is having our action provide a sarif report to github.