> GitHub definitely dominates the market, partly due to the network effects, but I don't think they have a lot of moat. If something goes badly enough wrong there, there will be plenty of viable alternatives with an easy to trivial migration path.

Their moat is a billion development tool vendors that have "integrate with Github" as a must-have and expected functionality.