Regardless, just learned about https://radicle.xyz/, which looks more active and mature than what I linked