With the acquisition of GitHub by Microsoft, will Google, Facebook or Airbnb leave GitHub? For me it's one of the issues with this acquisition. Big firms might have private repositories, or don't want to let their public ones on GitHub. Won't it be a problem? 