{"push_id":740411490,"size":1,"distinct_size":1,"ref":"refs/heads/kore5","head":"d18384543c64b94274a69d7b0bf2b22ef200adbc","before":"7d146c34f89da87228cee72fe3d23c76202453d4","commits":[{"sha":"d18384543c64b94274a69d7b0bf2b22ef200adbc","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix bug","distinct":true,"url":"https://api.github.com/repos/dwightguth/c-semantics/commits/d18384543c64b94274a69d7b0bf2b22ef200adbc"}]}