But why would a school block GitHub?