fix: update exception throw from OSError to EnvironmentError in `push…
NONE
_The documentation is not available anymore as the PR was closed or merged._
2022-10-05T16:59:11Z
https://github.com/huggingface/datasets/pull/5076#issuecomment-1268692968
https://api.github.com/repos/huggingface/datasets/issues/5076
IC_kwDODunzps5Lnrfo
https://api.github.com/repos/huggingface/datasets/issues/comments/1268692968/reactions
2022-10-07T14:35:57Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1268692968
https://avatars.githubusercontent.com/u/99929124?v=4
https://api.github.com/users/HuggingFaceDocBuilderDev/events{/privacy}
https://api.github.com/users/HuggingFaceDocBuilderDev/followers
https://api.github.com/users/HuggingFaceDocBuilderDev/following{/other_user}
https://api.github.com/users/HuggingFaceDocBuilderDev/gists{/gist_id}
https://github.com/HuggingFaceDocBuilderDev
HuggingFaceDocBuilderDev
U_kgDOBfTMJA
https://api.github.com/users/HuggingFaceDocBuilderDev/orgs
https://api.github.com/users/HuggingFaceDocBuilderDev/received_events
https://api.github.com/users/HuggingFaceDocBuilderDev/repos
https://api.github.com/users/HuggingFaceDocBuilderDev/starred{/owner}{/repo}
https://api.github.com/users/HuggingFaceDocBuilderDev/subscriptions
User
https://api.github.com/users/HuggingFaceDocBuilderDev
public
Status:
Ready for review

Description of Changes:
Fixes #5075

Changes proposed in this pull request:
- Throw EnvironmentError instead of OSError in `push_to_hub` when the Hub token is not present.