T techcrunch.com GitHub Copilot crosses 20M all-time users 2 points indigodaddy 1 year ago 1 comments