Problem
Steps 8-10 will need real-time updates but no WebSocket events exist for Git/PR operations.
Current State
websocket_broadcasts.py has 27 broadcast functions
- Only
commit_created exists for git operations
- No events for: branch creation, PR creation, PR merge
Required Events
Git Events
async def broadcast_branch_created(
project_id: int,
branch_name: str,
issue_id: int | None = None
)
async def broadcast_branch_merged(
project_id: int,
branch_name: str,
target_branch: str = "main"
)
PR Events
async def broadcast_pr_created(
project_id: int,
pr_number: int,
title: str,
branch: str
)
async def broadcast_pr_merged(
project_id: int,
pr_number: int,
merge_commit: str
)
async def broadcast_pr_closed(
project_id: int,
pr_number: int,
reason: str
)
Frontend Integration
Add to websocketMessageMapper.ts:
case 'branch_created':
case 'pr_created':
case 'pr_merged':
return { type: 'ACTIVITY_ADDED', payload: {...} };
Acceptance Criteria
Dependencies
Committee Report Reference
WebSocket Expert rated Steps 9-10 as "Missing" with quote: "No PR-related events exist."
Problem
Steps 8-10 will need real-time updates but no WebSocket events exist for Git/PR operations.
Current State
websocket_broadcasts.pyhas 27 broadcast functionscommit_createdexists for git operationsRequired Events
Git Events
PR Events
Frontend Integration
Add to
websocketMessageMapper.ts:Acceptance Criteria
Dependencies
Committee Report Reference
WebSocket Expert rated Steps 9-10 as "Missing" with quote: "No PR-related events exist."