{"push_id":824846777,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"16edbdc07f6e104e37bbf0937d69f67aaa61be2d","before":"eb3c3e2b9c6457177e11d00a420bc8c5cc68c001","commits":[{"sha":"16edbdc07f6e104e37bbf0937d69f67aaa61be2d","author":{"email":"62a1d3b6b6c7cefcb7be49928435441f4964950d@gmail.com","name":"Radu Stoenescu"},"message":"Update example and fix klee include path","distinct":true,"url":"https://api.github.com/repos/radustoenescu/klee-vagrant/commits/16edbdc07f6e104e37bbf0937d69f67aaa61be2d"}]}