GitHub has always been generally a platform that doesn’t align well with my and many peoples’ values regarding open source software development, I only used it because it’s the most popular.

Recent events regarding GitHub and its management have raised a greater consciousness about the nature of the service,so I was wondering if it would cause any problems for me to move to either:

Or if everything is fine as is.

  • cole@lemdro.id
    link
    fedilink
    English
    arrow-up
    0
    arrow-down
    1
    ·
    17 days ago

    The magic of git is that if something happens it’s trivial to switch. Honestly, I would just stick on GitHub until there’s an actual reason to change. You can just do git remote set-url origin NEW_SERVER, do a git push and bam, your repo is restored with all of its history.

    It’s so easy to move, it’s not worth worrying about imo

    • Xylight@lemdro.idOPM
      link
      fedilink
      English
      arrow-up
      1
      ·
      17 days ago

      Only difficult part is moving pull requests and issues.

      It would be kinda funny as an excuse to run away from the issues tab though

      • cole@lemdro.id
        link
        fedilink
        English
        arrow-up
        0
        arrow-down
        1
        ·
        17 days ago

        it’s not so hard. you can just link previous PRs for comments, and re-home them. you can make a PR cross-platform it just won’t necessarily render right in the web UI.

        git is stupid powerful. reject web UI return to email list (Linux kernel vibes)