The gh api arguments that comment on the note’s line at the PR’s head commit, or,
with on_file, on the file as a whole with the line named in the text.
After a review of a pull request, offers to post its notes there. Lists what would
be posted, asks, and posts only on an explicit yes. Posted notes leave the store;
notes that fail stay, so nothing is posted twice and nothing is lost.