{"push_id":1097441601,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"321a8b0d02838267ce20049cb5f6db06042d29ac","before":"242cd53768d61555b3933324cc50514e209efd38","commits":[{"sha":"321a8b0d02838267ce20049cb5f6db06042d29ac","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Make everything let rec.","distinct":true,"url":"https://api.github.com/repos/ziman/idris-ocaml/commits/321a8b0d02838267ce20049cb5f6db06042d29ac"}]}