title: Catch pull error when mirroring
comments: _The documentation is not available anymore as the PR was closed or merged._
body: 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.