{"push_id":580241313,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"47be343226d684a10eb36ad032c6b1dae0c8046e","before":"93ea7cde8dbf1cdba93533bb76f36f3f8bb726f0","commits":[{"sha":"47be343226d684a10eb36ad032c6b1dae0c8046e","author":{"email":"856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","name":"Ulf Norell"},"message":"updates to work with recent Agda and agda-prelude","distinct":true,"url":"https://api.github.com/repos/UlfNorell/agda-tactics/commits/47be343226d684a10eb36ad032c6b1dae0c8046e"}]}