GitHub PushEvent at 2014-01-16 14:34:17
Repository: Idris-dev
Actor: edwinb
Payload: {"shas":[["fac49fcd8cfcdee20310b290999fa2ad8338b7a9","435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","Some IBC compression\n\nBoth internally (storing names as references to a symbol table) and\nexternally (using zlib). Not sure this has any real effect other than\nsaving disk space, but that's not a bad thing!","Edwin Brady",true]],"size":1,"ref":"refs/heads/master","head":"fac49fcd8cfcdee20310b290999fa2ad8338b7a9"}