
Starting with the great opendev git migration start recording our repo renames. This way we can ensure that we get redirects in place in the future. Change-Id: Ia7acedb13e88fb5a668074712570336a4ecd350d
Starting with the great opendev git migration start recording our repo renames. This way we can ensure that we get redirects in place in the future. Change-Id: Ia7acedb13e88fb5a668074712570336a4ecd350d