GitHub Copilot is already a bigger business than GitHub was at acquisition

Sounds like apples to oranges comparison to me.