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

    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)