{"push_id":838701056,"size":5,"distinct_size":1,"ref":"refs/heads/develop","head":"0ba79782c04c3d78b705376e913420b1f9bc7bc8","before":"1094ce7c9d7aa7bd287aa02dcc8b001cca303521","commits":[{"sha":"85da68d23276004902d05ca89077cb3047955305","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michał Antkiewicz"},"message":"Merge pull request #74 from gsdlab/develop\n\nRelease 0.4.2","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/85da68d23276004902d05ca89077cb3047955305"},{"sha":"788f8fef88965b0f8a799d3fecb969f422d99ef3","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"fixed release date and added stack.yaml to cabal data-files","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/788f8fef88965b0f8a799d3fecb969f422d99ef3"},{"sha":"7675e4ccf8ea1134f856cfd59137b6fc1aab7892","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"updated README and CHANGES","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/7675e4ccf8ea1134f856cfd59137b6fc1aab7892"},{"sha":"eaef460b1975764fb3a3fd9d95ccb6b9be9972e2","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"0.4.2.1, LTS-3.10, fixed Haddock, added stack to README, fixed a test case","distinct":false,"url":"https://api.github.com/repos/gsdlab/clafer/commits/eaef460b1975764fb3a3fd9d95ccb6b9be9972e2"},{"sha":"0ba79782c04c3d78b705376e913420b1f9bc7bc8","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"Merge remote-tracking branch 'refs/remotes/origin/master' into develop","distinct":true,"url":"https://api.github.com/repos/gsdlab/clafer/commits/0ba79782c04c3d78b705376e913420b1f9bc7bc8"}]}