G github.blog Quantifying GitHub Copilot’s impact on developer productivity and happiness 115 points idan 4 years ago 138 comments