github.deletePullRequestReviewComment deletes one inline diff comment.
automations/delete-github-review-comment.automation.ts
commentId. Returns {} after deletion. The installation must be allowed to delete the target comment. Requires Pull requests write permission.