This is useful to have ticket auto-linking whenever you type it in the PR description or comment. However, every PR is also linked to the specific ticket in our tracker. And we add this number to the title of the PR. It would be great that it will be auto-linked so I don’t need to repeat the ticket number in the PR description. What is your opinion?