Half of the stuff you listed they just bought and stuck their names on.
i didnt.
microsoft has owned github for 4 years at this point. In your opinion, have they degraded githubs culture in that time and if so by how much and how? Personally, from the outside looking in, github and their tools have gotten better. Though of course, that couldve still been the case if github retained its original leadership, i just doubt it.