When Microsoft announced it was acquiring GitHub in a $7.5 billion deal in 2018, developers were nervous.