There was discussion of doing just that. In the end, it may be what has to happen. But I'd still rather see a public repo setup, even if that repo moves.