use a compression filter: see https://raw.githubusercontent.com/DataWraith/gitfilters/master/filter_zip_clean.sh
Merge branch 'refs/heads/feature/compression'
delete gzip files, use zip instead