@f4grx@chaos.social i get the sentiment and have felt it myself, but think about the reality; how many developers do you really think can’t leave GitHub? the only thing they really have going for them over alternatives at this point is the community, but how many people regularly interact with it? most people won’t get issues or PRs opened in their repos. it’s definitely hard for large projects to move but i disagree that “very few” people could move elsewhere