{"push_id":847785300,"size":1,"distinct_size":1,"ref":"refs/heads/idris-build","head":"648c02b8e725f498901724209ca07dad0dcf1476","before":"598b9d5641e87ed81ddb188458a2b85806c27334","commits":[{"sha":"648c02b8e725f498901724209ca07dad0dcf1476","author":{"email":"8af6cf9c5aa13f115c09f08f3d860c02fa84ccae@gmail.com","name":"Michael Gilliland"},"message":"More code! Idris is awesome...","distinct":true,"url":"https://api.github.com/repos/mjgpy3/mjg/commits/648c02b8e725f498901724209ca07dad0dcf1476"}]}