Quantifying GitHub Copilot’s impact on developer productivity and happinessgithub.blog115 pointsidan4 years ago