{"push_id":564821197,"size":2,"distinct_size":2,"ref":"refs/heads/2.4.2.1","head":"69d034e3de94448b362183b4cfaff6b6b94d2f89","before":"e0b94b63e1a443e9cd6ee3d6d464229fdc11c87c","commits":[{"sha":"2ed6207b02fd8b4d5d295e466483b7ac6b9a87e3","author":{"email":"5c2dd944dde9e08881bef0894fe7b22a5c9c4b06@dannynavarro.net","name":"Danny Navarro"},"message":" Fix link to source in html","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/2ed6207b02fd8b4d5d295e466483b7ac6b9a87e3"},{"sha":"69d034e3de94448b362183b4cfaff6b6b94d2f89","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"Merge branch 'jdnavarro-patch-2' into 2.4.2.1","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/69d034e3de94448b362183b4cfaff6b6b94d2f89"}]}