You just read:

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

News provided by

Microsoft Corp.

Jun 04, 2018, 08:50 ET