{"push_id":1412302593,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1eed21e1f4c374ea6d90734f4fcf32062438cc8a","before":"12442a55eaed122a5e10c377f6661831c824063c","commits":[{"sha":"3fdd9a903837a6750e42fd6d7ada342def63a7b3","author":{"name":"Hoang M. Le","email":"669195ce0aa4f26ce8fe72def852d4abd7a93836@informatik.uni-bremen.de"},"message":"add nicer error messages for --use-merge and add explanation why it currently cannot be used with random-path","distinct":true,"url":"https://api.github.com/repos/klee/klee/commits/3fdd9a903837a6750e42fd6d7ada342def63a7b3"},{"sha":"1eed21e1f4c374ea6d90734f4fcf32062438cc8a","author":{"name":"Cristian Cadar","email":"e8310abea565d44781d8d14a1356d06fdb1f573f@imperial.ac.uk"},"message":"Merge pull request #492 from hoangmle/master\n\nadd nicer error messages for --use-merge and add explanation why it currently cannot be used with random-path","distinct":true,"url":"https://api.github.com/repos/klee/klee/commits/1eed21e1f4c374ea6d90734f4fcf32062438cc8a"}]}
{"actor":{"display_login":"ccadar"}}