properties: Rename repo name