Does anyone here have any experiences with moving from #GitHub to #SourceHut for #CodeHosting and #CI?

---

Why I want to move?
- Hosting open source software on a proprietary platform is bonkers to me
- GitHub is becoming ridiculous because of its distracting “social” functions
- Complete ignorance of git’s inherent decentralization
- I want to minimize my contribution to Microsoft’s “AI”