[miroljub]

400 GitHub employees are using GitHub Copilot day in day out, and it comes out as #5 contributor? I wouldn't call that a success. If it is any useful, I would expect that even if a developer write 10% of their code using it, it would hold be #1 contributor in every project.

[timrogers]

The #5 contributor thing is a stat from a single repository where we’re building Copilot coding agent.

[miroljub]

If everyone is using Copilot, it's pretty low metrics.