Sure, but it isn’t profit motive that I think we should be concerned about in this case. Its the entire space in which GitHub exists is now radically different. Until the buyout, they were an independent company who hosted software repos. Now they are owned by a company who has many many many different interests and ms has a tendency to use most of their various software projects to feed into their own proprietary ecosystem.

There are many ways this might be problematic, all of which are obviously just speculation. I’m just trying to say, an enormous part of the software ecosystem is currently in a really precarious spot and we might be wise to consider and work on some alternatives just to give ourselves some wiggle room should ms decide to behave in ways we’ve seen them behave so many times in the past.