DELETE YOUR GITHUB REPOSITORIES NOW!
I did this after 11 years of github. I did not yet delete my forks (repos I maintain/contribute to), because I don't want to hurt the community there. But I'd love to see them move, too!
@musicmatze I already did this a while ago. I have only 3 repos left (1 fork, 1 archived, 1 mirror). The one mirrored is on sourcehut as well as all other old and new projects.
@musicmatze I just delete forks after the PR is merged to not litter the profile because there's no way to make forks "unlisted".
I don't think actions is pure vendor lock-in but I've always found their format to be pretty complex and difficult to use. Compare that to builds.sr.ht with super straightforward manifests that can be easily written by hand.
Discussions, yeah, this is basically stack overflow built into GH, and usually a mailing list or IRC/Matrix channel will work just as well.
@yyp the thing is that actions is not only a CI thing, but you can automate almost every aspect of your community with it. It's pretty deeply integrated into github and thus can do a lot of things!
I like what they built there, but the effect is a vendor-lockin-like effect. But that's always with superior technology, IMO.
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.