flashgnash@lemm.ee to Linux@lemmy.ml · 1 year agoMost of us hate Microsoft, and yet many of us use VSCodemessage-squaremessage-square465fedilinkarrow-up1447arrow-down151file-text
arrow-up1396arrow-down1message-squareMost of us hate Microsoft, and yet many of us use VSCodeflashgnash@lemm.ee to Linux@lemmy.ml · 1 year agomessage-square465fedilinkfile-text
minus-squareTobias Hunger@programming.devlinkfedilinkarrow-up5·1 year agoAre they embracing activity pub? I read it is just one guy in the community working in it. And the vast majority of users are on GitHub, looking for code on there. Having activity pub on other forges will not change that big time:-(
minus-squarePrunebutt@feddit.delinkfedilinkarrow-up3·edit-21 year agoOny saw this vid about it: https://www.youtube.com/watch?v=v68NFdZIMKI Yeah, github is currently the big cheese. But other forges are still out there and are being used. And since git is an open format, the infrastructure is (a bit) more resilient towards enshittyfication.
minus-squarePipedLinkBot@feddit.rocksBlinkfedilinkEnglisharrow-up1·1 year agoHere is an alternative Piped link(s): https://www.piped.video/watch?v=v68NFdZIMKI Piped is a privacy-respecting open-source alternative frontend to YouTube. I’m open-source; check me out at GitHub.
minus-squareTobias Hunger@programming.devlinkfedilinkarrow-up1·1 year agoOh, the repository are easy to move. The bug reports, PRs, wikis, CI/CD are stuck in github though. There is a huge lock in.
Are they embracing activity pub? I read it is just one guy in the community working in it.
And the vast majority of users are on GitHub, looking for code on there. Having activity pub on other forges will not change that big time:-(
Ony saw this vid about it: https://www.youtube.com/watch?v=v68NFdZIMKI
Yeah, github is currently the big cheese. But other forges are still out there and are being used. And since git is an open format, the infrastructure is (a bit) more resilient towards enshittyfication.
Here is an alternative Piped link(s):
https://www.piped.video/watch?v=v68NFdZIMKI
Piped is a privacy-respecting open-source alternative frontend to YouTube.
I’m open-source; check me out at GitHub.
Oh, the repository are easy to move.
The bug reports, PRs, wikis, CI/CD are stuck in github though. There is a huge lock in.