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.

  • Xylight@lemdro.idOPMEnglish
    4·
    2 months 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.idEnglish
      22·
      2 months 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)