Successfully changed name and caught up with the old repository.