Right but if you dont want to see that 34B disappear into nothing you dont want to disregard Red Hats feedback. I hope they just ensure Red Hat gets resources they need and step back.
Pretty sure Microsoft is doing that with GitHub to a reasonable extent. Seems to me now that GitHub has more resources they can do much more than they could prior.
Squandering $multibillion investments into industry crown jewels is par for the course. As you point out Microsoft may have learned to not screw up GitHub, but the price of tuition was pretty high: $7-$10 billion for buying and destroying Nokia.
Pretty sure Microsoft is doing that with GitHub to a reasonable extent. Seems to me now that GitHub has more resources they can do much more than they could prior.