I get that it’s open source provided you use codium not code but I still find that interesting
True but GitHub wasn’t always Microsoft and at least in my experience moving between git providers is a pain
How is it a pain? You just change the origin on your existing project, and new projects you just use the new one to start with.
You gotta change the origin on every deployment you have. Update environment vars, reconfigure tools. You have to port all your PRs over somehow. Your issues. Your documentation. All the access keys. Etc.
With Gitlab embracing activitypub, at least the issues can bei easily migrated now/soon.