Fix pull_files.py on MacOS by using gunzip instead of zcat

Merge request reports

Loading