Can we not just rename the repo?