Display GitHub pull requests in tickets by searching for "#ticket_id " in the title of PRs