Simpler name for GitHub registry.