Update to use new lowercase repo name.