“Satya Nadella initially asked if Microsoft could acquire GitHub for $2 billion.”