As these things are naturally going, it is a matter of months before github is blocked and a clone set up. The threat to the matrix is too big otherwise.