{"push_id":848012880,"size":6,"distinct_size":6,"ref":"refs/heads/nokinds-dev","head":"772a1e883cf10d8c2bc41c39ccfbdbda3aa41c1b","before":"adef51abff471083383516cfe1046935b17ed844","commits":[{"sha":"f0f45127b5fdc57946fb8e44e2d7b764ed75220c","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Comments only","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/f0f45127b5fdc57946fb8e44e2d7b764ed75220c"},{"sha":"610ed857356cd2d033a10c9b9807b3cbbc3e1175","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"No derived kind equalities; bugfixing","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/610ed857356cd2d033a10c9b9807b3cbbc3e1175"},{"sha":"b2cdfc3991d48309f6bce81e24de14852e232d92","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Don't double-zonk.","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/b2cdfc3991d48309f6bce81e24de14852e232d92"},{"sha":"462c87f9246591cb500d76ef73bdb0172e3e12cb","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"Quantify over levity var in patsyns","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/462c87f9246591cb500d76ef73bdb0172e3e12cb"},{"sha":"2681a9ada6be89f0b209b7bff99db5ff598b72d3","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"more instances are undecidable now","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/2681a9ada6be89f0b209b7bff99db5ff598b72d3"},{"sha":"772a1e883cf10d8c2bc41c39ccfbdbda3aa41c1b","author":{"email":"cd4786f13e62ed6bb2b908ed2441bc4082f660fb@cis.upenn.edu","name":"Richard Eisenberg"},"message":"`base` compiles.","distinct":true,"url":"https://api.github.com/repos/goldfirere/ghc/commits/772a1e883cf10d8c2bc41c39ccfbdbda3aa41c1b"}]}