{"push_id":584722175,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"5bf844d6529e0bb0da52c220dc1829cf0b1a6a14","before":"d9cd4210a8a338b4fb5656ebd624c1770cd6af3e","commits":[{"sha":"c3e28c1283f03a6305f061bc9962034419da8ab9","author":{"email":"43f2a2d2c86e22bc80f5acc690d97a5dcf4c4b2f@cse.gu.se","name":"Nils Anders Danielsson"},"message":"[ rewriting ] Proved extensionality for Π, without using postulates.","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/c3e28c1283f03a6305f061bc9962034419da8ab9"},{"sha":"5bf844d6529e0bb0da52c220dc1829cf0b1a6a14","author":{"email":"43f2a2d2c86e22bc80f5acc690d97a5dcf4c4b2f@cse.gu.se","name":"Nils Anders Danielsson"},"message":"Merge branch 'maint-2.4.2'","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/5bf844d6529e0bb0da52c220dc1829cf0b1a6a14"}]}