{"push_id":775331935,"size":2,"distinct_size":2,"ref":"refs/heads/maint-2.4.2","head":"0c0f15f8df92bb45ba9ae2b56ea9b0cdb5839554","before":"264a2a54bce02e90e456a2d3af8327d102e13c0a","commits":[{"sha":"b2eac7d6fa9b61a159f7035431e39e2f32b9e6eb","author":{"email":"856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","name":"Ulf Norell"},"message":"fixed a couple of killRange bugs","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/b2eac7d6fa9b61a159f7035431e39e2f32b9e6eb"},{"sha":"0c0f15f8df92bb45ba9ae2b56ea9b0cdb5839554","author":{"email":"856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","name":"Ulf Norell"},"message":"killRange before unquoteDecl","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/0c0f15f8df92bb45ba9ae2b56ea9b0cdb5839554"}]}