{"push_id":893996787,"size":1,"distinct_size":1,"ref":"refs/heads/feature/basic-strategies","head":"740db4da53564ec2d871cb40ad8516b8c4671170","before":"9fd6badb53058b03c746d01731ffafd026c053d1","commits":[{"sha":"740db4da53564ec2d871cb40ad8516b8c4671170","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"refactor","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/740db4da53564ec2d871cb40ad8516b8c4671170"}]}