Comment by enricotr

GitHub should be gradually substituted by some other providers, decentralized.