that's an imported PR, presumably from github. Note how the copilot comments come from the same user as the author, with an `imported` tag.
I stand corrected. GitHub team confirmed it's their Copilot ad.
I stand corrected. GitHub team confirmed it's their Copilot ad.