I think you're directionally correct, but this stuff still has to live somewhere, whether the repo is code or prompts. GitHub is actually pretty well-positioned to evolve into whatever is next.

I don't think GitHub's product is at risk, but its business model might.