Skip to content

docs(agents): track issues in GitHub instead of Linear - #68

Merged
tobyhede merged 1 commit into
mainfrom
docs/github-issue-tracker
Sep 23, 2026
Merged

tobyhede merged 1 commit into
mainfrom
docs/github-issue-tracker

Conversation

@tobyhede

Copy link
Copy Markdown
Contributor

Moves issue tracking from Linear to GitHub Issues. Linear will mirror GitHub issues through its integration.

  • docs/agents/issue-tracker.md: GitHub Issues via gh; reference issues as #123, put issue numbers in branch names, use Closes #123 in PRs; sub-issues and "blocked by" for wayfinding
  • AGENTS.md, docs/agents/triage-labels.md: point at GitHub and GitHub labels
  • docs/research/release-plz.md: drop Linear identifiers

Open Linear tickets have been recreated as #66 and #67. Existing commit history keeps its cip-XXXX references; it isn't rewritten.

Issues now live in GitHub Issues and are mirrored to Linear. Commits,
branches, PRs, and docs reference GitHub issue numbers rather than
Linear identifiers.
@tobyhede
tobyhede requested a review from a team as a code owner September 23, 2026 05:04
@tobyhede
tobyhede requested a review from freshtonic September 23, 2026 23:54
@tobyhede
tobyhede merged commit ff89d97 into main Sep 23, 2026
4 checks passed
@tobyhede
tobyhede deleted the docs/github-issue-tracker branch September 23, 2026 23:55
@freshtonic freshtonic mentioned this pull request Sep 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants