{"push_id":892274316,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4967aaf40c752b425db8f2e244a36f437bae05de","before":"ed8c416a90da2126e7a98b663e80658641f6a5f9","commits":[{"sha":"4967aaf40c752b425db8f2e244a36f437bae05de","author":{"email":"120a750a205bdb0be5cf36258ecbf93caa9ab0ab@yahoo.com","name":"Andrew Santosa"},"message":"Removed copyright line from hansen/*.c","distinct":true,"url":"https://api.github.com/repos/domainexpert/klee-examples/commits/4967aaf40c752b425db8f2e244a36f437bae05de"}]}