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