Is there a #Fediverse alternative to something github? It would be pretty cool to have a decentralized network for contributing to open source projects. Obviously git is already pretty easy to distribute, but federation of the more "social" aspects of GitHub (issues, discussions, pull requests) would be pretty cool