Git analytics for the classroom