Hundreds of thousands of students are enrolled in GitHub's various education programs, Britton says, and more than 3,000 teachers are using GitHub as a teaching tool. "It's becoming more and more ...