Orchestrator assigns merged tickets - missing PR status check

Tinker

Home Epics Orchestrator assigns merged tickets - missing PR status check toolEdit

Orchestrator assigns merged tickets - missing PR status check tool

Cancel

Title *

Project *

Description

## Context
Orchestrator is assigning tickets that are already merged. The orchestrator workflow instructions say to verify PRs aren't merged before assigning, but there's no MCP tool to check PR status.

## What You're Building
Add ability to check if a PR is merged so orchestrator can skip already-completed tickets.

1. Create an MCP tool to check PR merge status
2. Make it available to orchestrator role
3. Tool should return: merged (boolean), merge status, url

## Acceptance Criteria
- [ ] MCP tool exists to check PR status by URL
- [ ] Returns whether PR is merged/open/closed
- [ ] Tool available to orchestrator
- [ ] Orchestrator can filter out merged tickets before assignment

## Technical Notes
- Tickets have `pull_request_url` field
- GH_TOKEN is available for GitHub API calls
- Could use `gh pr view` CLI command or GitHub API directly
- MCP tools defined in `app/controllers/api/v1/mcp_controller.rb`
- Permissions in `config/tinker/mcp_permissions.yml`
- Orchestrator workflow skill documents the expected behavior at Priority 0 and Scenario B