Microsoft wird GitHub für 7,5 Milliarden USD übernehmen