{"push_id":907533443,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cca94f7705822be70e0a4b88691d85dc39565386","before":"e4011269b4902836d091f7d76a862f0f16ab8a61","commits":[{"sha":"cca94f7705822be70e0a4b88691d85dc39565386","author":{"email":"ca691485a851a6d44d8301ba4fd45f0feeedb504@gmail.com","name":"silviabear"},"message":"clean up merging garbage and add prerocessing","distinct":true,"url":"https://api.github.com/repos/Wajihulhassan/klee/commits/cca94f7705822be70e0a4b88691d85dc39565386"}]}