Comment by Iv

I think we all trusted github because of git: we know that worst case was that github disappeared overnight, erasing all repositories, and in that case we all would still have distributed backups to restart it.

So we had limited trust in the centralized missions we gave it: communications, issues, pull requests.

I am sure that as soon as a good tool allows to do that in a decentralized fashion, we will switch to it.