Maybe I am a little naive, but for me Github is also a place where I discover projets. What will happen to that experience once half the world moves to various places? How will discoverability be then? Via google? And then all sorts of different user experiences? Github is a stadradised experience, there’s so much more than just code and commits. What will happen to the social aspects?