Email or username:

Password:

Forgot your password?
All posts ​'s posts Post Back to profile
​

hopefully Gitea can finish their 5-year-long migration to gitea.com soon and then I can finally delete my github account!

2 Jul 2022 at 17:30 | Open on social.exozy.me
2 comments
Classic James P.

@ta180m All they have left is to move the repository for Gitea itself (very easy to do) to gitea.com, then move all the rest of the repos (maybe still contain GitHub mirrors and accept PRs for a while just in case), and then we're done!

2 Jul 2022 at 17:37 | Open on mstdn.starnix.network
​

@james actually, moving the main Gitea repo is the really freaking hard part. They already migrated all the other repos a long time ago, but they've been struggling for years to migrate the main Gitea repo because it's so big. Doing a naive migration in the web interface for a repo of that size takes hours with tons of API rate-limiting/timeout issues. The current strategy they're working on is to download the repo, then import the archive file into gitea.com.

More info: github.com/go-gitea/gitea/issu

@james actually, moving the main Gitea repo is the really freaking hard part. They already migrated all the other repos a long time ago, but they've been struggling for years to migrate the main Gitea repo because it's so big. Doing a naive migration in the web interface for a repo of that size takes hours with tons of API rate-limiting/timeout issues. The current strategy they're working on is to download the repo, then import the archive file into gitea.com.

2 Jul 2022 at 17:43 | Open on social.exozy.me
Go Up