Skip to content

Document multi-agent ticket claiming convention - #21

Merged
0xLeif merged 3 commits into
mainfrom
kimi/agent-claiming-docs
Jul 18, 2026
Merged

Document multi-agent ticket claiming convention#21
0xLeif merged 3 commits into
mainfrom
kimi/agent-claiming-docs

Conversation

@0xLeif

@0xLeif 0xLeif commented Jul 18, 2026

Copy link
Copy Markdown
Owner

Summary

Docs-only: reconciles the two parallel agent ticket-claiming sections (PR #2's "Agent ticket claims" and this PR's original draft) into one Multi-agent ticket claiming section in AGENTS.md, and adds a Worktrees for parallel agents subsection. Everything lives outside the managed trust block.

The merged convention, live in repo labels (agent:kimi, agent:cursor):

  • Check labels and linked PRs before starting; skip claimed tickets
  • Claim with your agent:<name> label plus a comment naming your working branch
  • One agent per ticket, one ticket per branch/PR
  • Remove the label and link the outcome when the PR is up or work stops
  • Parallel local agents use per-ticket git worktrees outside the main checkout

SpecSync

  • CHG-0006 (documentation, no-spec) accepted for this change
  • CHG-0005 evidence rebound via audited reopen (AGENTS.md input changed after its acceptance)

Verification

  • fledge lanes run verify green (build + test + smoke)
  • specsync check --force green (6/6 files, 100%)
  • specsync change check: 5 active changes valid, CHG-0005 and CHG-0006 evidence exact
  • Managed block markers untouched (trust CI greps for them)

@cursor

cursor Bot commented Jul 18, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@0xLeif
0xLeif force-pushed the kimi/agent-claiming-docs branch from 186f2e6 to e7aa377 Compare July 18, 2026 19:31
@0xLeif
0xLeif merged commit 50eddbb into main Jul 18, 2026
3 checks passed
@0xLeif
0xLeif deleted the kimi/agent-claiming-docs branch July 18, 2026 19:35
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.

1 participant