{"push_id":558923045,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"71a6a19ab9386d05a5f8d18fa78d1294a0577912","before":"79f8dd56d22edb02c3985af8be8d63c63c9e5d33","commits":[{"sha":"a41b786c4f47363c14a2024115b7364fc5fd53e1","author":{"email":"6666addc9444befab246d1a85d90dff6b126fc9a@gmail.com","name":"Max New"},"message":"Add missing haddock links","distinct":true,"url":"https://api.github.com/repos/maxsnew/contravariant/commits/a41b786c4f47363c14a2024115b7364fc5fd53e1"},{"sha":"71a6a19ab9386d05a5f8d18fa78d1294a0577912","author":{"email":"6666addc9444befab246d1a85d90dff6b126fc9a@gmail.com","name":"Max New"},"message":"Add Divisible/Decidable interaction laws","distinct":true,"url":"https://api.github.com/repos/maxsnew/contravariant/commits/71a6a19ab9386d05a5f8d18fa78d1294a0577912"}]}