{"push_id":653948651,"size":1,"distinct_size":1,"ref":"refs/heads/maint-2.4.2","head":"844a839e757ee09a834f995e489748fb2f21897a","before":"1bc06b2fd89e4f8bf4383151cc188892a886766b","commits":[{"sha":"844a839e757ee09a834f995e489748fb2f21897a","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Check for OPTION --copatterns before splitting on result.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/844a839e757ee09a834f995e489748fb2f21897a"}]}