If mandating the use of their own productivity tools causes them productivity losses, I'm happy to watch MS either come to terms with that and try to fix Teams

If mandating the use of their own productivity tools causes them productivity losses, I'm happy to watch MS either come to terms with that and try to fix Teams or suffer the same losses that they inflict on the rest of the world. From an outsider's perspective of MS and Github, I think it's the right move.