Link a GitHub Issue + Linear Ticket on a PR Appends a Sentry-style block to a PR description, referencing both the GitHub issue and the Linear ticket pulled from the issue's comment. Inputs - — GitHub issue URL like . Issue number alone is fine if the PR is in the same repo. - (optional) — defaults to the open PR for the current branch. Steps 1. Resolve the PR number — skip if user supplied one: If no PR exists on the branch, stop and tell the user. 2. Extract issue number + repo from the input URL, or accept a bare for current repo. 3. Fetch the Linear ticket from the issue's linear-linkback…