@mauro, #SourceHut is amazingly convenient. It's CI/CD service is the number one coolest thing in the ecosystem I've seen so far! Whilst I moved all of my personal projects to sr.ht, some software I contribute to are still on GitHub and I contantly bug the maintainers to use builds.sr.ht as the/an additional CI (sometimes it works, e.g. for #Trio). SSH'ing into build machines, independant jobs and native images for most common distros are so overlooked.
/cc @celia
@mcsinyx @celia I agree, the work Drew and his team have done with Sourcehut is outstanding. My most favorite feature is how open they are.
I also moved my personal projects but for work it's been GitHub 100% for the past 7 years or so and I don't see that changing any time soon :(