{"push_id":893982385,"size":1,"distinct_size":1,"ref":"refs/heads/feature/basic-strategies","head":"a6866a9ad71fd385f5cb6d0a8943d694ea4c71ff","before":"e8324f155e1a02054e23e3d94fd9ca79851cd3ce","commits":[{"sha":"a6866a9ad71fd385f5cb6d0a8943d694ea4c71ff","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"strategy from config param","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/a6866a9ad71fd385f5cb6d0a8943d694ea4c71ff"}]}