Re: [PATCH 3/4] cat-file: add --batch-disk-sizes option

Jeff King [off-list ref] writes:

I started on this, and it turned out not to really be any simpler....
So I went ahead with the full formats for my re-roll. It turned out
pretty reasonable, I think.

Thanks.