Point everybody at the new repo.
Fix botched merge.