{"push_id":886191594,"size":3,"distinct_size":0,"ref":"refs/heads/nokinds-dev","head":"28dc4427a63ea7d2d632319e4f00aedc668d1833","before":"5fd2c8e165dac0ea45f2ba7a88376c0de3757d22","commits":[{"sha":"9aa0f321f9ea7a8cdaad3a210e2849f854cb8c64","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Checkpoint.","distinct":false,"url":"https://api.github.com/repos/goldfirere/ghc/commits/9aa0f321f9ea7a8cdaad3a210e2849f854cb8c64"},{"sha":"e6d5ba0a1720857f045cc70907940deb5b5f89c0","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Remove old code dealing with hetero eqs.","distinct":false,"url":"https://api.github.com/repos/goldfirere/ghc/commits/e6d5ba0a1720857f045cc70907940deb5b5f89c0"},{"sha":"28dc4427a63ea7d2d632319e4f00aedc668d1833","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Get AmapCoerce to work. Finally.","distinct":false,"url":"https://api.github.com/repos/goldfirere/ghc/commits/28dc4427a63ea7d2d632319e4f00aedc668d1833"}]}