Ditch a repo's numeric ID, use its full name instead