This should match the GitHub repo name (because we removed CNAME).