Anyway, it's not that I don't think GitHub has real issues under Microsoft, but I disagree with the title of the article, as devs are not leaving it in droves, yet.