Fix repo name in non-generated file