{"push_id":1970858224,"size":3,"distinct_size":3,"ref":"refs/heads/backup/klee-1.4.0","head":"e65984ed8be6a876667604934991a6fd3175d039","before":"8d4630051a76ce762879442323faf051ef478acb","commits":[{"sha":"2eec531ee43ed5359a10252908b4083466242dfc","author":{"name":"Bo Chen","email":"f3255f4be9768abbd8f92e41f20cabae15fe87a3@pdx.edu"},"message":"Fix back-end/CmakeLists.txt","distinct":true,"url":"https://api.github.com/repos/likebreath/crete-dev/commits/2eec531ee43ed5359a10252908b4083466242dfc"},{"sha":"222a14b6bb5cfd28dc9ccab2dc067f233186bbff","author":{"name":"Bo Chen","email":"f3255f4be9768abbd8f92e41f20cabae15fe87a3@pdx.edu"},"message":"Adjust .travis.yml for klee-1.4.0","distinct":true,"url":"https://api.github.com/repos/likebreath/crete-dev/commits/222a14b6bb5cfd28dc9ccab2dc067f233186bbff"},{"sha":"e65984ed8be6a876667604934991a6fd3175d039","author":{"name":"Bo Chen","email":"f3255f4be9768abbd8f92e41f20cabae15fe87a3@pdx.edu"},"message":"Test travis.ci","distinct":true,"url":"https://api.github.com/repos/likebreath/crete-dev/commits/e65984ed8be6a876667604934991a6fd3175d039"}]}
{"actor":{"display_login":"likebreath"}}