Watch those hands, we are at the "extend" phase [0]. Then there will be bait-and-switch move, and voila, Github is not working with git client, just with their own shell.
[0] https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguis...
[0] https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguis...
If you are referring to GH being owned by MS now, it's 2020 for godsake. Can we move on from our fathers' trauma? MS has been damn good lately in support of developers and developer tools.
I personally remain very uncomfortable with how massive GitHub has become and how ~99% of software development happens on the platform.
Furthermore, technology isn't the lock-in - it's the network, which you can't drag as easily.