{"push_id":1634162963,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"095ce70da7ea9f163b018b690105edf375f1befe","before":"9cd62240e6912a5cd71d104160027dfdf0c8d100","commits":[{"sha":"095ce70da7ea9f163b018b690105edf375f1befe","author":{"name":"Edwin Brady","email":"c928bc23af0546b9627da03f5800c450bd33bde7@st-andrews.ac.uk"},"message":"startDSL can fail","distinct":true,"url":"https://api.github.com/repos/edwinb/SDL-idris/commits/095ce70da7ea9f163b018b690105edf375f1befe"}]}
{"actor":{"display_login":"edwinb"}}