Deal with repo name change.