Разговоры о приобретении Github Microsoft-ом

http://www.businessinsider.com/2-billion-startup-github-could-be-for-sale-microsoft-2018-5
Если это всё же произойдёт, то будет конечно огромный удар по свободному
ПО, которое вовсю хостится на Github. Впрочем... лично я уже давно не
использую его и не рассматриваю как вариант:

* многие must-have действия делаются только с включённым JavaScript
* его ToS, похоже, не совместим со свободным ПО и комментариев по этому
  поводу они так и не дают
  c79456c70ed4bfabf1fa05110bb1d71b3fcac398
  b9d2f499f6f68e13cd82ccf7fa2ca37097942653
  d800b73a50023c7ab15a16911b3c8cfedf86c841
* Вообще стыдоба, но он не работает по IPv6. С ходу мне кажется это чуть
  ли не единственный из крупных активно используемых сервисов который до
  сих пор его не поддерживает