Add v0.3 GitHub integration release plan and tickets
linter / quality (pull_request) Successful in 1m10s
tests / ci (8.4) (pull_request) Successful in 1m7s

This commit is contained in:
Nico Schroeder
2026-03-26 11:54:08 +01:00
parent 5e41dae648
commit 21d7dfe27b
10 changed files with 331106 additions and 0 deletions
@@ -0,0 +1,29 @@
# 05 GitHub Ticket Pull Request Visibility
## Goal
Show GitHub pull requests related to a ticket alongside the matching branches in the ticket detail view.
## Requirements
- Add a GitHub pull requests section to the ticket detail view using the existing provider-neutral pull request presentation model.
- Pull requests must be associated to a ticket using the same ticket-key-based branch naming convention as branch discovery.
- Show enough pull request information to identify and open the matching item, at minimum:
- title
- provider identifier or number
- repository source
- status if available
- The implementation may derive pull request matches from source branch names.
## Acceptance Criteria
- A ticket shows GitHub pull requests whose source branch starts with the ticket key.
- Pull requests unrelated to the ticket key are not shown.
- The ticket detail view clearly separates branch matches from pull request matches.
- Pull request visibility remains compatible with mixed-provider repository connections.
## Out of Scope
- Pull request review actions inside KanbanGit
- Merge controls
- Status checks and CI reporting