more repo name changes