Potential harmonization possible.

[Narsil]

Is your feature request related to a problem? Please describe.

Discussion and CommitInfo declare two things which seem the same with different names num and pr_num.

Describe the solution you'd like

Harmonizing would feel better. (Don't care which one)

Unless I am missing an important distinction between the two things that is indeed important.
I am using those values to create the URL (which is included in CommitInfo, but not in Discussion, so I had the same code to create the urls.

[Wauplin]

Agree with you. Wouldn't hurt to have some harmonization here :)
Small difference though: pr_num is specifically a PR. The num is related to a discussion so can be Discussion or PR. Still agree on harmonizing.