Function parsePrNumberFromText

src/tools/shared/gitOperationTracking.ts:104–107

* gh pr merge/close/ready print "✓ pull request owner/repo#1234" with * no URL. Extract the PR number from the text.

(stdout: string)

 * no URL. Extract the PR number from the text.
 */
function parsePrNumberFromText(stdout: string): number | undefined {
  const match = stdout.match(/[Pp]ull request (?:\S+#)?#?(\d+)/)
  return match?.[1] ? parseInt(match[1], 10) : undefined
}

/**
 * Extract target ref from `git merge <ref>` / `git rebase <ref>` command.