{"push_id":2970593623,"size":3,"distinct_size":3,"ref":"refs/heads/intprop","head":"1b0c042834311c43bc484fd217da61b347b23301","before":"e2e640fa729eb17a3d4bb1b022b80b9f3db4329a","commits":[{"sha":"5fe21245cac8a07209a6de7e0586ece0f9bb3060","author":{"name":"Guillaume Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"Merge branch 'master' into intprop","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/5fe21245cac8a07209a6de7e0586ece0f9bb3060"},{"sha":"b5396b2300f28005c39539eb2939a9f4c8690f0e","author":{"name":"Guillaume Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"[ cleanup ] expose quotient as a field","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/b5396b2300f28005c39539eb2939a9f4c8690f0e"},{"sha":"1b0c042834311c43bc484fd217da61b347b23301","author":{"name":"Guillaume Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"[ new ] + 0 ∣′ m → m ≡ + 0","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/1b0c042834311c43bc484fd217da61b347b23301"}]}
{"actor":{"display_login":"gallais"}}