gzip the gitdiff.patch file (so doesn't show up in grep -r)