{"push_id":894809266,"size":1,"distinct_size":1,"ref":"refs/heads/feature/basic-strategies","head":"3644ee4cac5a2c5d496b9155bcfb42a66818ea97","before":"4864c8947c9b12da247a21f46519ec09f9ae6b1d","commits":[{"sha":"3644ee4cac5a2c5d496b9155bcfb42a66818ea97","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"move strategies to domains.k and refactoring","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/3644ee4cac5a2c5d496b9155bcfb42a66818ea97"}]}