As the year winds down, we’re highlighting some of the incredible work from GitHub’s engineers, product teams, and security researchers.