Thankfully github is not a walled garden and repo can be moved to any other public or self-hosted git (well, at least the code itself). Or, as someone already s

Thankfully github is not a walled garden and repo can be moved to any other public or self-hosted git (well, at least the code itself). Or, as someone already suggested, use an external service/server that pushes the commits into git(hub|lab) repo. Git also seems to be relatively easy to work in a federated ecosystem - the only problem to be solved is read/write access in such environment.