{"push_id":763804475,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"c9be60bc893da8051eb026d7ece50b3ba60946ec","before":"89858156fa79839ae6b000fba6d20b3dd94c2887","commits":[{"sha":"5711307c77a7812c1452b58ef8df0939b8d433d4","author":{"email":"138ea162df8b92f9e86bef49b63204b9039bf283@acm.org","name":"Rodrigo B. de Oliveira"},"message":"support foreign instance methods","distinct":true,"url":"https://api.github.com/repos/bamboo/idris-cil/commits/5711307c77a7812c1452b58ef8df0939b8d433d4"},{"sha":"1a940a7d30e442f590dc384e76faea30d44335e0","author":{"email":"138ea162df8b92f9e86bef49b63204b9039bf283@acm.org","name":"Rodrigo B. de Oliveira"},"message":"code gardening\n\nremove unreachable code","distinct":true,"url":"https://api.github.com/repos/bamboo/idris-cil/commits/1a940a7d30e442f590dc384e76faea30d44335e0"},{"sha":"c9be60bc893da8051eb026d7ece50b3ba60946ec","author":{"email":"138ea162df8b92f9e86bef49b63204b9039bf283@acm.org","name":"Rodrigo B. de Oliveira"},"message":"code gardening\n\nprefer forM_ over mapM_ for simple arguments","distinct":true,"url":"https://api.github.com/repos/bamboo/idris-cil/commits/c9be60bc893da8051eb026d7ece50b3ba60946ec"}]}