{"push_id":1863032699,"size":1,"distinct_size":1,"ref":"refs/heads/monadic-trans","head":"c564d7b52e2c5bbf60ccb219f42d93befd66b595","before":"ebdcc14d64e1738d4abecc06bf0bbc6e9229ad41","commits":[{"sha":"c564d7b52e2c5bbf60ccb219f42d93befd66b595","author":{"name":"Son HO","email":"c905b5d847ddf9d29eee24d859537de8292ae994@polytechnique.edu"},"message":"Replace length by LENGTH in the monad definitions","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/c564d7b52e2c5bbf60ccb219f42d93befd66b595"}]}
{"actor":{"display_login":"Kachoc"}}