{"push_id":1452543307,"size":1,"distinct_size":1,"ref":"refs/heads/stable-2.5","head":"df385f0a8d5d9975295ef624337d83eddae91451","before":"b9802a62c475f8d8b30d3b5b4475901709eea2ba","commits":[{"sha":"df385f0a8d5d9975295ef624337d83eddae91451","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"[ agda-bisect ] Fixed compilation with GHC < 8.0.1.\n\n[ci skip]","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/df385f0a8d5d9975295ef624337d83eddae91451"}]}
{"actor":{"display_login":"asr"}}