-
-
Notifications
You must be signed in to change notification settings - Fork 89
GitHub repo rename / gittensor repo update #4771
Copy link
Copy link
Closed
Labels
maintainer-onlyOwner-only work — yields no Gittensor points.Owner-only work — yields no Gittensor points.roadmapOn the Wave-2 agent-layer roadmap board (project 9)On the Wave-2 agent-layer roadmap board (project 9)
Description
Metadata
Metadata
Assignees
Labels
maintainer-onlyOwner-only work — yields no Gittensor points.Owner-only work — yields no Gittensor points.roadmapOn the Wave-2 agent-layer roadmap board (project 9)On the Wave-2 agent-layer roadmap board (project 9)
Projects
StatusShow more project fields
Done
Problem: The repository itself is still named after the old brand.
Area: Infra / GitHub
Proposal: Rename the repository via GitHub's settings. GitHub redirects git and web URLs to the new location indefinitely, but every first-party link, badge, or reference to the old path should be updated rather than relying on the redirect long-term.
Deliverables:
Acceptance criteria:
Test scenarios:
Resources:
Boundaries:
Part of #4761.