{"push_id":898904103,"size":1,"distinct_size":1,"ref":"refs/heads/hotfix/fix-1705","head":"8a85beccaae21702cec078db5da40bb94e713c10","before":"75de15194e1e15931644b180463b9b5d9bc7df7a","commits":[{"sha":"8a85beccaae21702cec078db5da40bb94e713c10","author":{"email":"519a120efaf7723bd747e74f40d4b63e5731253d@gmail.com","name":"Cosmin Radoi"},"message":"fix bug we've introduced","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/8a85beccaae21702cec078db5da40bb94e713c10"}]}