{"push_id":556752667,"size":1,"distinct_size":1,"ref":"refs/heads/merge-trial","head":"757de1cfbacb7b7791c7638e5e1339f199f3d725","before":"7664366abf62e8877346385d619c54cb53bdafa8","commits":[{"sha":"757de1cfbacb7b7791c7638e5e1339f199f3d725","author":{"email":"be791aa2de90626f9b0db7a21f360a8a57437a6f@users.noreply.github.com","name":"cowl"},"message":"Reductions.hs now plays nice with the altered premises/succedents signature","distinct":true,"url":"https://api.github.com/repos/cowl/net-prove/commits/757de1cfbacb7b7791c7638e5e1339f199f3d725"}]}