@flashgnash@lemm.ee to Linux@lemmy.ml • 1 year agoMost of us hate Microsoft, and yet many of us use VSCodemessage-square462fedilinkarrow-up1451file-text
arrow-up1451message-squareMost of us hate Microsoft, and yet many of us use VSCode@flashgnash@lemm.ee to Linux@lemmy.ml • 1 year agomessage-square462fedilinkfile-text
minus-squareTobias Hungerlinkfedilink5•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-square@Prunebutt@feddit.delinkfedilink3•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-squareTobias Hungerlinkfedilink1•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.
minus-square@PipedLinkBot@feddit.rocksBlinkfedilinkEnglish1•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.
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.
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.
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.