[motoboi]

In day-to-day I interact with github PR via intellij github plugin. Ie: inspect the branch, the changes, the comments, etc.

Maybe that's how the microsoft employees are using it (in another IDE I suppose).