Moren on 10 June 2018
I like how this thread is basically not about GitHub at all.
Regardless, I'm pretty sure Microsoft knows better than screwing it up, so I don't see myself moving away from GitHub at any point.