Comment by Animats

The next big worry is Github. Moving major open source projects off Github is going to be difficult. But we probably will have to go to architectures where there are multiple synchronized repositories some time in the next few years.