Catch pull error when mirroring
NONE
_The documentation is not available anymore as the PR was closed or merged._
2022-05-11T09:50:57Z
https://github.com/huggingface/datasets/pull/4314#issuecomment-1123464976
https://api.github.com/repos/huggingface/datasets/issues/4314
IC_kwDODunzps5C9rcQ
https://api.github.com/repos/huggingface/datasets/issues/comments/1123464976/reactions
2022-05-11T12:54:07Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1123464976
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
Catch pull errors when mirroring so that the script continues to update the other datasets.

The error will still be printed at the end of the job. In this case the job also fails, and asks to manually update the datasets that failed.