I think is more about the political statement of leaving GitHub rather than the practicalities of code management.