There's no git with a decentralized backend that everyone uses for this stuff yet, but there are projects (like your link here) that will turn into that if humanity isn't just going extinct instead