{"push_id":789193530,"size":1,"distinct_size":1,"ref":"refs/heads/feature/supercooling-by-strategy","head":"8066d80ed46b5c9eac201e019317c753beefe465","before":"5e1c90bc07aab68ca1fbb1387b99f9a676a9233a","commits":[{"sha":"8066d80ed46b5c9eac201e019317c753beefe465","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"formatting fixes","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/8066d80ed46b5c9eac201e019317c753beefe465"}]}