https://github.com/facebookresearch/repoprover

gzip: stdin: not in gzip format