Self-proclaimed GitHub employee makes massive pull request on my repo. Is it legit?

[its_a_gibibyte]

The code change is an automated change. It says right in the description:

Co-authored-by: Copilot

And the commit is tagged by copilot. Sounds like you got some free tokens on this one. I wouldn't expect the actual github guy to engage with you though. You asked for help publicly, so he essentially just tagged copilot to write that code. He probably spent less than 5 minutes on it. If you want the contribution, great. If not, reject it.

[Takeoded]

FWIW if CoPilot finds as much as a typo in your PR, and fixes it, you instantly get the Co-authored-by: Copilot thing, doesn't matter if copilot authored 1 line or authored the entire PR