{"push_id":834236975,"size":1,"distinct_size":1,"ref":"refs/heads/new_errors","head":"68096e02fd3b04e58cf14414a68f41dc3c642b5c","before":"0887836442d05572c662a9b04a4f15a2b11b4f45","commits":[{"sha":"68096e02fd3b04e58cf14414a68f41dc3c642b5c","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"changes to error codes to reflect new protocol","distinct":true,"url":"https://api.github.com/repos/msaxena2/c-semantics/commits/68096e02fd3b04e58cf14414a68f41dc3c642b5c"}]}