MS are a bit stinky, but I'm not moving off GitHub preemptively. They can prove themselves to be decent or bad custodians of the platform, and git repos are inherently decentralised anyway. When the time comes, I can always jump (and so can you, and that makes the time less likely to come).