The tool dovetails with GitHub Education, a service that provides classrooms with free private code repositories where teachers and students can post code and collaborate.