This renames a couple of repos. We record that here. Change-Id: I6e675e5712db61631c653b47556726172bd9ec2e