It’s really not that difficult. The things that need to be migrated are:
links to repository - tedious, but the GH repo could be left up with links to the new repo and code mirroring could be configured; I’ve seen that done pretty often, and some projects go the opposite route (e.g. the Linux kernel has a GitHub mirror for… reasons)
issues - the GitHub CLI and API both offer a programmatic way to pull down issues, so those can be migrated with a script to whatever the new solution is; I could whip something up in an afternoon if needed
actual code hosting - just change remotes and push; this is like a 5-min thing
CI - the current CI situation is really simple and easy to port
And, that’s it. If needed, the whole process could be done in a couple days.
It’s really not that difficult. The things that need to be migrated are:
And, that’s it. If needed, the whole process could be done in a couple days.
So I don’t see any kind of urgency here.