If a version of this with friendly name support is released, I will mirror all my active GitHub repositories there. If someone builds on this, as discussed els

If a version of this with friendly name support is released, I will mirror all my active GitHub repositories there. If someone builds on this, as discussed elsewhere in the thread, to make a decentralized service that mimics 'social' functionality such as issues and pull requests, I will strongly consider using it instead of GitHub (depending on the UI, stability, etc.). I don't even have any particularly popular repos, so there is no real reason for anyone to care about the above, but, y'know, HN comments approving of the idea don't necessarily translate into actual interest in the product, so now you know there's at least one person in the latter category. :)