github: Rename `ReviewComment` in `PullComment`