I’ve heard from people who left GitHub that Microsoft pulled all their best dev ops people to work on AI scaling. This is blatant disinvestment by Microsoft bc they think GitHub is untouchable. I hope better alternatives than musk come up