fix: make GitHub PR-description ticket selection deterministic#3

dellch wants to merge 1 commit into

maindellch/pr-agent:mainfrom

fix/github-ticket-extraction-deterministicdellch/pr-agent:fix/github-ticket-extraction-deterministicCopy head branch name to clipboard