Last modified: 2014-08-18 14:55:40 UTC
we should have a (bash?) script for stitching multiple shards of a json dump into a single dump (and probably compress it at the same time).