Microsoft will reduce GitHub's independence and move its servers to Azure