@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