Update some stuff for the repo renaming