change repo name to fit CarbonDev manifest