Summary: Added a minor edit to make sure the repository rename was successful.
Testing: None
Reviewers: None