Documenting CLI default for download --repo-type

[jamesbraza]

Fixes #1963 by documenting the DownloadCommand's repo-type's default in the help message.

[HuggingFaceDocBuilderDev]

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (0385794) 79.87% compared to head (c5f8143) 82.42%.

❗ Current head c5f8143 differs from pull request most recent head f308548. Consider uploading reports for the commit f308548 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1986      +/-   ##
==========================================
+ Coverage   79.87%   82.42%   +2.54%     
==========================================
  Files          64       66       +2     
  Lines        7896     8153     +257     
==========================================
+ Hits         6307     6720     +413     
+ Misses       1589     1433     -156     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Wauplin]

Thanks for the PR! It's simpler this way indeed :)