GitMigration 2023

I want to migrate most my Git repos to Codeberg.

I have decided to migrate my repos back to GitHub. The repos on Codeberg will be mirrors. There is a blog post draft about this decision.

What does and doesn't get migrated

  • Migrate

    • Source repos, that is, authored by me and that I own

    • Forks, if they are independent of the upstream

  • Do not migrate

    • Projects I do not directly own

    • Projects that are private (that is, hidden from other users)

  • Delete

    • Forks I created to fix an issue and do not need any more

    • Projects that are abandoned and that I do not want to do any more

Checklist

  • Pick a repository

  • Find the latest version of the code. It may be

    • saved locally

    • stored in some Git repository

      • on GitHub

      • on GitLab.com

      • on the university's or institute's GitLab instance

      • on Codeberg

      • on Bitbucket (ew)

  • Clone the latest version of the code locally (~/Code)

  • Clean up repo

  • Create a repo on GitHub, if not already

  • Set the origin URL to Codeberg and push the repo

  • Set up mirroring

    • Create (if not already) the Codeberg repo of the same name and path

      • That means, copy the organization name over as well, if possible

    • Turn off Wikis and Projects

    • Add "[MIRROR]" to the Codeberg repo description and set GitHub repo URL as project's URL

    • Make sure it can push

  • (if project is finished) Back up the project to the Archivum

See also