This patch addresses a corner-case issue related to PR review comments that were left by users who deleted their GitHub accounts. The GitHub UI attributes these comments to https://github.com/ghost, but the REST API returns null for the user field in review comment API responses.
For now, we just ignore these comments when computing the commenters to display on the UI.
This patch addresses a corner-case issue related to PR review comments that were left by users who deleted their GitHub accounts. The GitHub UI attributes these comments to https://github.com/ghost, but the REST API returns
nullfor theuserfield in review comment API responses.For now, we just ignore these comments when computing the commenters to display on the UI.