huggingface_hub
huggingface_hub copied to clipboard
Potential harmonization possible.
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.