[bulbar]

They rely on GitHub actions, not the repository itself.

I hope people here are aware that you can push your repo somewhere else if wanted.

Git is a distributed system, there isn't even a server, only other git repo instances that are remote.

[iso1631]

I rely on actions, but those actions are pretty much "on this type of change to this branch run these scripts"

It will be a hassle to migrate to another platform, possibly a couple of hours work to do the 25 repos in my ~/git/ directory.

Even highly complicated actions can be migrated quite easily -- the source is stored in .github/workflows/blah.yml