Skip to content

Update tickets/ to new ticketing_format.md header#1228

Merged
brillout merged 2 commits into
mainfrom
claude/update-tickets-ef5grm
Jul 26, 2026
Merged

Update tickets/ to new ticketing_format.md header#1228
brillout merged 2 commits into
mainfrom
claude/update-tickets-ef5grm

Conversation

@brillout

Copy link
Copy Markdown
Member

Summary

Commit 07999f6 changed packages/the-framework/prompts/ticketing_format.md:

  • priority: low/medium/high/urgentPriority: 10-0 (numeric scale)
  • topics:Topics: (capitalized)
  • added an optional GitHub: [#42](url) field

This PR applies that new header format to all 51 existing tickets under tickets/:

  • Capitalized priority:/topics:Priority:/Topics:
  • Mapped old word priorities to the new 0-10 scale: high → 8, medium → 5, low → 2 (no urgent tickets existed)
  • Added a GitHub: link field to every ticket, sourced from its existing "Imported from GitHub issue" reference in the body

Test plan

  • git diff reviewed: only header lines (Priority:/Topics:/GitHub:) were added/changed; no other ticket content touched

Generated by Claude Code

claude added 2 commits July 26, 2026 12:10
Convert priority:/topics: fields to Priority:/Topics: with the new
0-10 priority scale, and add a GitHub: link field sourced from each
ticket's existing "Imported from GitHub issue" reference.
…/GitHub header change

Commit 07999f6 updated the ticket header spec (priority/topics ->
Priority/Topics, plus a new GitHub field) but left tickets.test.ts
asserting the old lowercase strings, breaking CI on main.
@brillout
brillout merged commit 766c772 into main Jul 26, 2026
1 check passed
@brillout
brillout deleted the claude/update-tickets-ef5grm branch July 26, 2026 12:49
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