We have integrated github with jira. I do see PR information as part of "Development" but when I export the issues, I cannot see PR#. Also additionally I would love to get more information on my PRs, like lines, comments counts, time to merge etc. Is this possible?