Misc repo renames