{"push_id":977028503,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"3963984a962d8fd77a759202c817a7c85dd72117","before":"9f202dc97590c83a488b9abfa9028905c5b86cf1","commits":[{"sha":"3851f596a7b9630a25c4f862478936bcf47f578c","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Add flatten to Monad.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/3851f596a7b9630a25c4f862478936bcf47f578c"},{"sha":"0544ce9793ae3b33056a89e54ad9eb0c3a21957d","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Rename `flatten` to `join`.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/0544ce9793ae3b33056a89e54ad9eb0c3a21957d"},{"sha":"bdeaed6f84573ebfc1cf9f6513d405a2af329edd","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Deprecate flatten.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/bdeaed6f84573ebfc1cf9f6513d405a2af329edd"},{"sha":"3963984a962d8fd77a759202c817a7c85dd72117","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #2959 from ziman/monad-flatten\n\nAdd flatten to Monad.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/3963984a962d8fd77a759202c817a7c85dd72117"}]}