It's Christmas, so we make a pie with GitHub data