See all the GitHub code behind a Jira issue

**Objective:** Trace Jira issue `{issue-key}` into GitHub and report every branch, commit, GitHub issue and workflow run that references it, reading from repository `{repository}` (if blank, use the connector's default repository).

**Step 1: Establish the Jira issue**

Call `jira-get-issue` with `issue-key` set to `{issue-key}`. If nothing comes back, report that the issue does not exist in Jira and stop. Note its summary, status, assignee, project-key and updated-date.

**Step 2: Find the code that references it**

On the github server, with `company` set to `{repository}` when it is given:

1. Call `github-get-branch` with `name.contains` set to `{issue-key}`.
2. Call `github-get-commit` with `message.contains` set to `{issue-key}`.
3. Call `github-get-issue` with `title.contains` set to `{issue-key}`.
4. For each branch found in step 1, call `github-get-workflow-run` with `branch` set to that branch name and `max-records` 5, to get its latest runs.

Match the key exactly as Jira spells it (uppercase project key, hyphen, number). A commit that mentions `ABC-12` does not reference `ABC-123`; discard partial matches.

**Step 3: Map commit authors to Jira users**

For each distinct `author-email` on the matching commits, call `jira-get-user` with `email` set to it. Record the Jira display name, or "no Jira user" when nothing matches.

**Step 4: Report**

* **Jira:** key, summary, status, assignee.
* **Branches:** name, protected, latest run conclusion and url.
* **Commits:** short sha (first 7 characters), date, author (with Jira user), first line of the message, url. Newest first.
* **GitHub issues:** number, title, status, issue-url.
* **Findings:** call out any mismatch, for example the Jira issue is Done but its branch's latest run failed, the Jira issue is To Do but commits exist, or the commit authors do not include the Jira assignee.

**Rules & Guidelines:**

* `jira-get-issue` and `jira-get-user` are on the jira server; every tool whose name starts with github- is on the github server.
* This prompt is read-only. Do NOT call `jira-update-issue`, `jira-add-issue-comment`, `jira-add-issue-remote-link`, `github-add-issue-comment`, `github-update-issue` or `github-rerun-workflow-run`.

**Validation:**

* If GitHub returns nothing on every read, report the issue as having no code references in this repository. Do not treat that as an error.
* If a GitHub read fails as an unknown tool, tell the user the github server is not connected in this client.