Lemmy

12635 readers

5 users here now

Everything about Lemmy; bugs, gripes, praises, and advocacy.

For discussion about the lemmy.ml instance, go to [email protected].

founded 4 years ago

MODERATORS

221

submitted 2 years ago by [email protected] to c/[email protected]

99 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] sugar_in_your_tea 1 points 2 years ago

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.

So I don't see any kind of urgency here.