• uuj8za@piefed.social
    link
    fedilink
    English
    arrow-up
    7
    ·
    3 hours ago

    I mean, if Zig and Guix can do it. It’s possible.

    I’m in a similar boat. So far:

    • I started mirroring GitHub to Codeberg
    • I added CI to Codeberg

    Next I gotta update the readme on GitHub telling everyone that I’m going to move to Codeberg. I’ll let that sit for a few months.

    Also, I gotta update consumers like homebrew to consume from Codeberg instead.

    I was gonna close/merge any open PRs on GitHub.

    Issues, I’m not totally sure about. I thought I read there was a way to migrate those. Although, I’m kiiinda ok with starting fresh… not totally sure this part needs more thought.

    Once the Codeberg repo is ready, I’ll make the GitHub repo read-only, with the readme pointing to Codeberg.

    Way, way, way down the line, I’d consider deleting the GitHub repo (and finally my account).

    I’m OK with breaking things. I’m gonna try my hardest to not break stuff, but I’m not going to let the fear of breaking stuff prevent me from getting on ShitHub by Macroslop.