Skip to content

Rename lingering GitHub artifacts #4776

Description

@JSONbored

Problem: Some currently open GitHub artifacts — milestone titles, project-board titles/descriptions, issue titles — spell out the old brand name directly, independent of anything in the codebase.

Area: GitHub housekeeping

Proposal: Audit every open (not closed) milestone, issue, and project-board title/description for literal old-brand mentions, and rename them once the code-side rename is live. Closed and historical items are left untouched — this only cleans up what's still open and forward-facing.

Deliverables:

  • A short audit list of affected open artifacts.
  • Each one renamed.

Acceptance criteria:

  • No currently open milestone, issue, or project-board title still spells out the old brand name.

Test scenarios:

  • Search across open issues, milestones, and project titles for the old name after the sweep and confirm only closed/historical items remain.

Resources:

  • GitHub's own search and the project boards' settings pages.

Boundaries:

  • Do not touch closed issues, closed PRs, or historical records — this is scoped strictly to what's currently open.

Part of #4761.

Metadata

Metadata

Assignees

Labels

maintainer-onlyOwner-only work — yields no Gittensor points.roadmapOn the Wave-2 agent-layer roadmap board (project 9)

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions