Not a developer myself, and not with knowledge enough to evaluate the consecuences of this. Could bitcoin be affected? To what extent is bitcoin dependent on GitHub given that it is a decentralised web?